×

Found 20 Documents (Results 1–20)

Consistency for quantified constraint satisfaction problems. (English) Zbl 1153.68471

van Beek, Peter (ed.), Principles and practice of constraint programming – CP 2005. 11th international conference, CP 2005, Sitges, Spain, October 1–5, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-29238-8/pbk). Lecture Notes in Computer Science 3709, 792-796 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software