Cerca Imatges Maps YouTube Notķcies Gmail Drive Calendar Més »
Inicia la sessió
Llibres Llibres
" JM Crawford and LD Auton. Experimental results on the crossover point in satisfiability problems. "
State-Space Search: Algorithms, Complexity, Extensions, and Applications - Pągina 188
per Weixiong Zhang - 1999 - 201 pągines
Previsualització limitada - Sobre aquest llibre

Principles and Practice of Constraint Programming: Second ..., Volum 2

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]...
Previsualització limitada - Sobre aquest llibre

Principles and Practice of Constraint Programming - CP '95: First ..., Volum 1

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....
Previsualització limitada - Sobre aquest llibre

Annual Reviews of Computational Physics, Volum 2

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...
Previsualització limitada - Sobre aquest llibre

Principles of Knowledge Representation and Reasoning: Proceedings of the ...

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,...
Visualització completa - Sobre aquest llibre

Electrorheological Fluids: Modeling and Mathematical Theory, Edició 1748

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...
Previsualització limitada - Sobre aquest llibre

Cliques, Coloring, and Satisfiability: Second DIMACS Implementation ...

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,...
Previsualització limitada - Sobre aquest llibre

Spatial and Temporal Reasoning

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,...
Previsualització limitada - Sobre aquest llibre

Logic Programming and Nonmonotonic Reasoning: Fourth International ..., Volum 4

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...
Previsualització limitada - Sobre aquest llibre

Satisfiability Problem: Theory and Applications : DIMACS Workshop, March 11 ...

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....
Previsualització limitada - Sobre aquest llibre

Logic-Based Artificial Intelligence

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,...
Previsualització limitada - Sobre aquest llibre




  1. La meva col·lecció
  2. Ajuda
  3. Cerca avanēada de llibres