Searching for "Function-Complete Lookahead in Support of Efficient SAT Search Heuristics." – 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.

M.: Function-complete lookahead in support of efficient SAT search heuristics
by John Franco, Michal Kouril, John Schlipf, Sean Weaver, Michael Dransfield, W. Mark Vanfleet — 2004 — Journal of Universal Computer Science
…/10/03, accepted: 14/8/04, appeared: 28/12/04 © J.UCS Function-Complete Lookahead in Support of Efficient SAT…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

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