66 search results - page 14 / 14 » Survey propagation: an algorithm for satisfiability |
CONCUR
2006
Springer
13 years 8 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...