Searching for "Multithreaded SAT Solving." – 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.

QBF Acknowledgements
by Sharad Malik, Armin Bierre, Daniel Le Berre, Laurent Simon, Ofer Strichman
…. Becker, Multithreaded SAT Solving, In Proceedings of the 2007 Conference on Asia South Pacific Design…
Add To MetaCart

Showing 1 through 1.

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