Top-k Querying of Unknown Values under Order Constraints Antoine Amarilli1 , Yael Amsterdamer2 , Tova Milo2 , and Pierre Senellart1,3 1 2

Source URL: pierre.senellart.com

• Constraint programming
• Probability distributions
• Operations research
• Mathematical optimization
• Expected value
• Beta distribution
• Interpolation
• Lagrange multiplier
• Constraint satisfaction

Solving Parametric Linear Systems: an Experiment with Constraint Algebraic Programming Clemens Ballarin∗ Manuel Kauers Institut f¨

Source URL: www21.in.tum.de

The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE

Source URL: ludovicpatey.com

• Logic
• Mathematics
• Constraint programming
• Abstraction
• Model theory
• Boolean satisfiability problem
• Electronic design automation
• Logic in computer science
• Complexity of constraint satisfaction
• Constraint satisfaction problem
• Satisfiability
• Binary relation

ACM SIGSAM Bulletin, Vol. 38, No. 2, JuneFormally reviewed communication Solving Parametric Linear Systems: an experiment with constraint algebraic programming

Source URL: www21.in.tum.de

c ACM, 2008. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Higher-order functions
• Programming language comparisons
• Concurrent programming languages
• Functional languages
• Curry
• Fold
• Monad
• Constraint

A Constraint Scheme for Correcting Massive Asymmetric Magnitude-1 Errors in Multi-Level NVMs Evyatar Hemo and Yuval Cassuto Department of Electrical Engineering, Technion – Israel Institute of Technology

Source URL: ycassuto.eew.technion.ac.il

MODEL-BASED PLANNING THROUGH CONSTRAINT AND CAUSAL ORDER DECOMPOSITION by Seung H. Chung

Source URL: ssl.mit.edu

Hybrid CPU-GPU Constraint Checking: Towards Efficient Context Consistency Jun Suia,b , Chang Xua,b,∗, S.C. Cheungc , Wang Xia,b , Yanyan Jianga,b , Chun Caoa,b , Xiaoxing Maa,b , Jian Lua,b a State

Source URL: cs.nju.edu.cn