Results 201 to 208 of about 44,520 (208)
Some of the next articles are maybe not open access.

Smten with satisfiability-based search

ACM SIGPLAN Notices, 2014
exaly  

New algorithms for Exact Satisfiability

Theoretical Computer Science, 2005
exaly  

Home - About - Disclaimer - Privacy