Searching for "Heuristic Backtracking Algorithms for SAT." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Heuristic Backtracking Algorithms for SAT
by A. Bhalla, I. Lynce, J.T. de Sousa, J. Marques-Silva — 2003 — in MTV ’03: Proc. of the 4th International Workshop on Microprocessor Test and Verification: Common Challenges and Solutions
…Heuristic Backtracking Algorithms for SAT A. Bhalla, I. Lynce, J.T. de Sousa and J. Marques…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB