Boolean Constraints

• Something new?

• The Boolean solver can return unknown

• It is incomplete (doesn’t answer all questions)

• It is polynomial time, where a complete solver is exponential (unless P = NP)

• Still such solvers can be useful!

Previous slide

Next slide

Back to first slide

View graphic version