researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Constraints
Home
Index
Info
Issue
Volume
14
, Issue
1
1
--
2
Enrico Giunchglia
,
Kostas Stergiou
.
Introduction to the special issue on quantified CSPs and QBF
3
--
15
Manuel Bodirsky
,
Hubie Chen
.
Relatively quantified constraint satisfaction
16
--
37
David Stynes
,
Kenneth N. Brown
.
Value ordering for quantified CSPs
38
--
79
Uwe Egly
,
Martina Seidl
,
Stefan Woltran
.
A solver for QBFs in negation normal form
80
--
116
Luca Pulina
,
Armando Tacchella
.
A self-adaptive multi-engine solver for quantified Boolean formulas
117
--
135
Alexandre Goldsztejn
,
Claude Michel
,
Michel Rueher
.
Efficient handling of universally quantified inequalities