KBO Constraint Solving Revisited.

Yasmine Briefs Hendrik Leidinger Christoph Weidenbach

Published in: FroCoS (2023)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction
constraint satisfaction problems
constraint solver
constraint programming
computational complexity
constraint solvers
image sequences
knowledge representation
sat solvers
temporal constraints
combinatorial problems