Constraint Answer Set Solving Martin Gebser, Max Ostrowski, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We present a new approach to integrating C

Source URL: www.cs.uni-potsdam.de

• Theoretical computer science
• Constraint programming
• Declarative programming
• Logic programming
• Mathematics
• Model theory
• Logic in computer science
• NP-complete problems
• Constraint satisfaction problem
• Answer set programming
• Constraint satisfaction
• Satisfiability modulo theories

bookConceptualModelling.dvi

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Software engineering
• Computing
• Data modeling
• ISO standards
• Architecture description language
• Diagrams
• Knowledge representation
• ECO
• Class diagram
• Object Constraint Language
• Object diagram

Original Paper Brain Behav Evol 2000;56:276–286 Conservation of Absolute Foveal Area in New World Monkeys A Constraint on Eye Size and Conformation

Source URL: blogs.cornell.edu

Parameterized complexity of constraint satisfaction problems ´ Daniel Marx Budapest University of Technology and Economics

Source URL: www.cs.bme.hu

On the Optimality of Semidefinite Relaxations for Average-Case and Generalized Constraint Satisfaction Boaz Barak∗ Guy Kindler†

Source URL: www.cs.cornell.edu

Colouring, Constraint Satisfaction, and Complexity For Aleˇs Pultr on the Occasion of his 70th Birthday Pavol Hell ∗ School of Computing Science Simon Fraser University

Source URL: iti.mff.cuni.cz

A Multicore Tool for Constraint Solving

Source URL: ijcai.org

Parameterized complexity of constraint satisfaction problems ´ Daniel Marx Budapest University of Technology and Economics

Source URL: www.cs.bme.hu

Learning Constraint Satisfaction Problems: an ILP Perspective Luc De Raedt1 , Anton Dries1 , Tias Guns1 , and Christian Bessiere2 1 2

Source URL: lirias.kuleuven.be

1 Potassco: The Potsdam Answer Set Solving Collection Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and Marius Schneider

Source URL: www.cs.uni-potsdam.de

• Logic programming
• NP-complete problems
• Operations research
• Constraint programming
• Answer set programming
• Logic in computer science
• Boolean satisfiability problem
• Algorithm
• Solver
• Stable model semantics
• AMPL
• Constraint satisfaction problem