| Alan H. Borning, Alan Borning - 1994 - 382 pàgines
...examples for resolution. JACM, 35:759-768, 1988. [Crawford and Auton,1993] James M. Crawford and Larry D. Auton. Experimental results on the crossover point in satisfiability problems. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 21-27, 1993. [Crawford and Baker, 1994]... | |
| Ugo Montanari - 1995 - 676 pàgines
...and PG Jeavons. Characterizing Tractable Constraints. Artificial Intelligence, 65:347-361, 1994. 15. JM Crawford and LD Auton. Experimental results on...in satisfiability problems. In Proceedings of the Eleventh National Conference on Artificial Intelligence (Washington, DC, AAAI'1993), pages 21-27, 1993.... | |
| Dietrich Stauffer - 1995 - 424 pàgines
...(1991). 14. M. Lau and T. Okagaki, J. of Visual Communication and Image Representation 5, 88 (1994). 15. JM Crawford and LD Auton, "Experimental results on...the cross-over point in satisfiability problems", in Proc. of the llth Natl. Con/, on Artificial Intelligence (AAAI Press, 1993), pp. 21-27. 16. IP Gent... | |
| Luigia Carlucci Aiello, Jon Doyle, Stuart Charles Shapiro - 1996 - 698 pàgines
...1994. [2] D. Chapman. Planning for conjunctive goals. Artificial Intelligence, 32:333-377, 1987. [3] JM Crawford and LD Auton. Experimental results on the crossover point in random 3sat. Artificial Intelligence, 81:13-59, 1996. [4] KS Erol, DS Nau, and V. Subrahmanian. Complexity,... | |
| Canadian Society for Computational Studies of Intelligence. Conference - 1996 - 668 pàgines
...Where the really hard problems are. In Proceedings IJCAI-91, pages 331-337, 1991. 2. J. Crawford and L. Auton. Experimental results on the crossover point in satisfiability problems. In Proceedings AAAI-93, pages 21-27, 1993. 3. M. Dent and R. Mercer. Using local graph topology to model hard binary... | |
| David S. Johnson, Michael A. Trick - 1996 - 674 pàgines
...Euro and KH Biining, Report on a SAT competition, Univ. Paderborn. Germany, Nr. 110, November 1992. 5. JM Crawford and LD Auton, Experimental results on the crossover point in Satisfiablity Problems, Proc. of the Eleventh National Conference on Artificial Intelligence (Washington,... | |
| O. Stock - 2007 - 392 pàgines
...Leiserson, and R. Rivest: 1990, Introduction to Algorithms. The MIT Press. Crawford, J. and L. Auton: 1993, 'Experimental Results on the Cross-Over Point in Satisfiability Problems'. In: Proceedings of the Eleventh National Conference of the American Association for Artificial Intelligence (AAAI-93). Washington,... | |
| Jürgen Dix, Ulrich Furbach, Anil Nerode - 1997 - 474 pàgines
...Representation and Reasoning, pages 518-528, Cambridge, MA, USA, November 1996. Morgan Kaufmann Publishers. 7. JM Crawford and LD Auton. Experimental results on the crossover point in random 3-SAT. Artificial Intelligence, 81(1):31-57, 1996. 8. M. Gelfond and V. Lifschitz. The stable... | |
| Dingzhu Du, Jun Gu, Panos M. Pardalos - 1997 - 778 pàgines
...random 3-CNF formulas. In Proc. Fourth Annual ACM-StAM Symposium on Discrete Algorithms, 1993. [CA96] JM Crawford and LD Auton. Experimental results on the cross-over point in random 3-SAT. Artificial Intelligence. 81:31-57, 1996. [CCH+90] Vijaya Chandru. Collette R. Coullard.... | |
| Zbigniew W. Ras, Andrzej Skowron - 1999 - 700 pàgines
...SAT organized by the Center for Discrete Mathematics and Computer Science of Rutgers University. 8. JM Crawford and LD Auton. Experimental Results on the Crossover Point in Random 3-SAT. Artificial Intelligence [1], 81:31-57, 1996. 9. M. Davis, G. Logemann, and D. Loveland.... | |
| |