Login / Signup
Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out!
Jannik Dunkelau
Joshua Schmidt
Michael Leuschel
Published in:
ABZ (2020)
Keyphrases
</>
constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
search algorithm
heuristic search
finite domain
constraint solvers
databases
contextual information
shortest path
orders of magnitude