Between Path-Consistency and Higher Order Consistencies in Boolean Satisfiability

Abstrakt

The task of enforcing certain level of consistency in Boolean satisfiability problem (SAT problem) is addressed in this paper. A recently developed concept of modified variant of path-consistency (PC) is recalled and experimentally evaluated.

Klíčová slova

• Boolean satisfiability
• path-consistency