Principles and Practice of Constraint Programming – CP 2003

DOI10.1007/B13743zbMATH Open1273.68336OpenAlexW2497660909MaRDI QIDQ5897228

Sebastian Brand, Rosella Gennari, Maarten de Rijke

Publication date: 2 March 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13743

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (5)

A Modeling Layer for Constraint-Programming Libraries ⋮ Title not available (Why is that?) ⋮ Constraint solving for finite model finding in SMT solvers ⋮ Solving constraint satisfaction problems with SAT modulo theories ⋮ Formal model-based constraint solving and document generation

This page was built for publication: Principles and Practice of Constraint Programming – CP 2003

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897228)