<--- Back to Details
First PageDocument Content
Constraint satisfaction / Computing / Mathematical optimization / Polynomial / Constraint / Constraint logic programming / Constraint programming / Software engineering / Computer programming
Date: 2014-02-17 03:08:57
Constraint satisfaction
Computing
Mathematical optimization
Polynomial
Constraint
Constraint logic programming
Constraint programming
Software engineering
Computer programming

Super Solutions Emmanuel Hebrard Toulouse Outline

Add to Reading List

Source URL: homepages.laas.fr

Download Document from Source Website

File Size: 2,00 MB

Share Document on Facebook

Similar Documents

Theory and Practice of Logic Programming, Vol. 6, No. 5, pp, Programming Finite-Domain Constraint Propagators in Action Rules

DocID: 1tOef - View Document

Proceedings of CICLOPS 2009 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems

DocID: 1t8iI - View Document

Cognition / Reasoning / Cognitive science / Logic / Knowledge representation / Constraint programming / Educational psychology / Spatialtemporal reasoning / Qualitative reasoning / Spatial relation / Reasoning system / Andrew U. Frank

On the Robustness of Qualitative Distance- and Direction-Reasoning* Jung-Hong Hong Department of Surveying Engineering National Cheng-Kung University

DocID: 1rqXQ - View Document

Logic / Constraint programming / Constraint satisfaction problem / Model theory / Abstraction / Philosophy / Constraint satisfaction / Satisfiability / Algebraic structure

CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel

DocID: 1rm3f - View Document

Knowledge representation / Reasoning / Constraint programming / Cognition / Computational topology / Region connection calculus / Mathematics / Cognitive science / Logic

AAAI Proceedings Template

DocID: 1r9Ui - View Document