Login / Signup
FINDER: Finite Domain Enumerator - System Description.
John K. Slaney
Published in:
CADE (1994)
Keyphrases
</>
finite domain
constraint satisfaction problems
constraint programming
constraint propagation
constraint solving
constraint logic programming
high level
answer set programming
state variables
constraint solver
constraint satisfaction
satisfiability problem
data model
np hard