To Encode or to Propagate? The Best Choice for Each Constraint in SAT Ignasi Ab´ıo1 , Robert Nieuwenhuis2 , Albert Oliveras2 , Enric Rodr´ıguez-Carbonell2 , Peter J. Stuckey3 1

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• NP-complete problems
• Constraint satisfaction
• Satisfiability modulo theories
• Boolean satisfiability problem
• Maximum satisfiability problem
• Decomposition method
• Constraint

Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2

Source URL: scungao.github.io

• Constraint programming
• Mathematical optimization
• Theoretical computer science
• Statistical classification
• Artificial intelligence
• Machine learning
• Support vector machine
• Constraint satisfaction problem
• Constraint satisfaction
• Decomposition method
• Constrained optimization
• Constraint

PDF Document

Source URL: www.constraint-programming.com

PDF Document

Source URL: www.constraint.org

Scenario realizability with constraint optimization Rouwaida Abdallah1 , Arnaud Gotlieb2 , Lo¨ıc H´elou¨et3 ,Claude Jard4 1 ENS Cachan (antenne de Bretagne), 2 SIMULA, Norway, 3 INRIA Rennes,

Source URL: people.rennes.inria.fr

Informative path planning with a human path constraint

Source URL: faculty.cs.byu.edu

The morpho-phonology of simple abbreviated loanwords in Japanese: a constraint-based account

Source URL: laurence.labrune.free.fr

Constraint Qualification Failure in Second-Order Cone Formulations of Unbounded Disjunctions Hassan Hijazia,1 , Leo Libertib a The Australian National University, CSIRO-Data61, Canberra ACT 2601 Australia

Source URL: www.lix.polytechnique.fr

Answer Sets: From Constraint Programming Towards Qualitative Optimization Gerhard Brewka

Source URL: www.informatik.uni-leipzig.de

A Polynomial scheduling algorithm for IEEEZigBee cluster tree WSN with one collision domain and period crossing constraint Aasem Ahmad, Zdenˇek Hanz´alek Claire Hanen

Source URL: rtime.felk.cvut.cz