Evaluation Result (3 SAT)
NTT Communication Science Labs.
18
clause density: 4.3
forward checking and first-fail principle were introduced (min-conflict BT and weak-commitment)
Prev
Top
With Graphics