Implementing Constraint Handlers in SCIP Gregor Hendel Ambros Gleixner, Felipe Serrano September 30

Source URL: co-at-work.zib.de

Partial Constraint Checking for Context Consistency in Pervasive Computing CHANG XU and S. C. CHEUNG The Hong Kong University of Science and Technology W. K. CHAN City University of Hong Kong

Source URL: cs.nju.edu.cn

Constraint propagation on quadratic constraints Ferenc Domes, Arnold Neumaier Faculty of Mathematics, University of Vienna Nordbergstrasse 15, A-1090 Vienna, Austria March 19, 2008

Source URL: solon.cma.univie.ac.at

Introduction A First Approach The Road Ahead Mutual Constraint in Bayesian Learning of Word Reference and Word Meaning

Source URL: www.luke.maurits.id.au

• Educational psychology
• Bayesian inference
• Statistical forecasting
• Statistical inference
• Statistical theory
• Educational technology
• Learning

Phase transitions in discrete structures Amin Coja-Oghlan (Goethe University) A wide variety of problems in combinatorics, computer science, information theory and mathematical physics can be described along the followin

Source URL: www.7ecm.de

• Constraint programming
• Statistical mechanics
• Gibbs measure
• Order and disorder

Nitrogen Constraint on the Habitable Zones around Low Mass M-stars Feng Tian Center for Earth System Sciences, Tsinghua University, China University of Colorado at Boulder, USA

Source URL: www.astro.ex.ac.uk

First Joint Meeting Brazil Italy of Mathematics Special Session: Optimal Control Rio de Janeiro, August 29 - September 02, 2016 Title: Generalization of Classical Constraint Qualifications in Continuous-Time Nonlinear Pr

Source URL: www.sbm.org.br

J Glob Optim:327–345 DOIs10898A scaling algorithm for polynomial constraint satisfaction problems Ferenc Domes · Arnold Neumaier

Source URL: solon.cma.univie.ac.at

Maximizing Submodular Set Function with Connectivity Constraint: Theory and Application to Networks Tung-Wei Kuo† ‡ , Kate Ching-Ju Lin† , and Ming-Jer Tsai‡ † Research Center for Information Technology Innova

Source URL: nms.citi.sinica.edu.tw

• Mathematics
• Graph theory
• Computational complexity theory
• Combinatorial optimization
• Submodular set function
• Edsger W. Dijkstra
• NP-complete problems
• Algorithm
• Shortest path problem
• HeldKarp algorithm
• Dominating set

Online Appendix to: Partial Constraint Checking for Context Consistency in Pervasive Computing CHANG XU and S. C. CHEUNG The Hong Kong University of Science and Technology W. K. CHAN

Source URL: cs.nju.edu.cn