MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Experimental Results on the Crossover Point in Satisfiability Problems." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Experimental Results on the Crossover Point in Satisfiability Problems
by James M. Crawford, Larry D. Auton — 1993 — In Proceedings of the Eleventh National Conference on Artificial Intelligence
…Experimental Results on the Crossover Point in Satisfiability Problems James M. Crawford Larry D…
Cited by 184 (3 self) – Add To MetaCart

Bibliography
by Achh Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-hsin Ho, Ao Ravindra K. Ahuja, A. Beringer, G. Aschemann, H. H. Hoos, M. Metzger, A. Wei Gsat, Bm Justin A. Boyan
… on the Crossover Point in Satisfiability Problems. In Proceedings of AAAI'93, pages 21--27. MIT Press, 1993. [CA96…
Add To MetaCart

Solving satisfiability problems using logic synthesis and reconfigurable hardware
by Takayuki Suyama, Makoto Yokoo, Hiroshi Sawada — 1998 — in Proc. 31st Annual Hawaii Int. Conf. System Sciences
…, 1993b. [14] J. M. Crawford, and L. D Auton, “Experimental results on the crossover point…
Cited by 6 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB