Complexity of Constraints - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540927990, 9783540928003

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Uniform Constraint Satisfaction Problems and Database Theory

Complexity of Constraints - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92800-3_7 ◽

2008 ◽

pp. 156-195 ◽

Author(s):

Francesco Scarcello ◽

Georg Gottlob ◽

Gianluigi Greco

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Database Theory

Download Full-text

Basics of Galois Connections

Complexity of Constraints - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92800-3_3 ◽

2008 ◽

pp. 38-67 ◽

Author(s):

Ferdinand Börner

Keyword(s):

Galois Connections

Download Full-text

A Logical Approach to Constraint Satisfaction

Complexity of Constraints - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92800-3_6 ◽

2008 ◽

pp. 125-155 ◽

Author(s):

Phokion G. Kolaitis ◽

Moshe Y. Vardi

Keyword(s):

Constraint Satisfaction ◽

Logical Approach

Download Full-text

Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help?

Complexity of Constraints - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92800-3_2 ◽

2008 ◽

pp. 3-37 ◽

Author(s):

Nadia Creignou ◽

Heribert Vollmer

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems ◽

Post’S Lattice

Download Full-text

Dualities for Constraint Satisfaction Problems

Complexity of Constraints - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92800-3_5 ◽

2008 ◽

pp. 93-124 ◽

Author(s):

Andrei A. Bulatov ◽

Andrei Krokhin ◽

Benoit Larose

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems

Download Full-text

Partial Polymorphisms and Constraint Satisfaction Problems

Complexity of Constraints - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92800-3_9 ◽

2008 ◽

pp. 229-254 ◽

Author(s):

Henning Schnoor ◽

Ilka Schnoor

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems

Download Full-text

Constraint Satisfaction Problems with Infinite Templates

Complexity of Constraints - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92800-3_8 ◽

2008 ◽

pp. 196-228 ◽

Author(s):

Manuel Bodirsky

Keyword(s):

Constraint Satisfaction ◽

Constraint Satisfaction Problems

Download Full-text

Present and Future of Practical SAT Solving

Complexity of Constraints - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92800-3_11 ◽

2008 ◽

pp. 283-319 ◽

Author(s):

Oliver Kullmann

Keyword(s):

Download Full-text

Introduction

Complexity of Constraints - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92800-3_1 ◽

2008 ◽

pp. 1-2

Author(s):

N. Creignou

Download Full-text

Introduction to the Maximum Solution Problem

Complexity of Constraints - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92800-3_10 ◽

2008 ◽

pp. 255-282 ◽

Author(s):

Peter Jonsson ◽

Gustav Nordh

Keyword(s):

Maximum Solution ◽

Solution Problem

Download Full-text