 | Alan Borning - 1994 - 360 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, CP ̕ 95 (1995 : Cassis, France) - 1995 - 650 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 - 406 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 - 671 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,... | |
 | Michael Ruzicka - 2000 - 176 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 - 657 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,... | |
 | Oliviero Stock - 1997 - 394 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, J. Dix, Ulrich Furbach, Anil Nerode - 1997 - 452 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 - 724 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.... | |
 | Jack Minker - 2000 - 606 pągines
...Manual and Tutorial. CMU, Pittsburgh, PA, cmu-cs-92-150 edition. Crawford, J. and Auton, L. (1993). Experimental results on the cross-over point in satisfiability problems. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 21-27. AAAI Press. Doherty,... | |
| |
JM Crawford and LD Auton. Experimental results on the crossover point in satisfiability problems. 
