Auton. Experimental results on the crossover point in satisfiability problems. In Proceedings of the Eleventh National Conference on Artificial Intelligence (Washington, DC, AAAI'1993), pages 21-27, 1993. Spatial and Temporal Reasoning - Página 361editado por - 2007 - 394 páginasPré-visualização limitada - Acerca deste livro
| Alan H. Borning, Alan Borning - 1994 - 382 páginas
...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...In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 21-27, 1993. [Crawford and Baker, 1994] James M. Crawford and Andrew... | |
| Ugo Montanari - 1995 - 676 páginas
...Characterizing Tractable Constraints. Artificial Intelligence, 65:347-361, 1994. 15. JM Crawford and LD Auton. Experimental results on the crossover point in satisfiability...In Proceedings of the Eleventh National Conference on Artificial Intelligence (Washington, DC, AAAI'1993), pages 21-27, 1993. 16. M. Davis, G. Logemann,... | |
| Weixiong Zhang - 1999 - 228 páginas
...Intelligence, (IJCAI-91), pages 331-337, Sydney, Australia, August 1991. [19] JM Crawford and LD Auton. Experimental results on the crossover point in satisfiability problems. In Proceedings of the llth National Conference on Artificial Intelligence (AAAI-93), pages 21-27, Washington, DC, July 1993.... | |
| Jack Minker - 2000 - 640 páginas
...4.0: the 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 Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 21-27. AAAI Press. Doherty, P. and Kvarnstrom, J. (1999).... | |
| Ian Gent, Hans van Maaren, Toby Walsh - 2000 - 568 páginas
...Annual ACM Symposium on the Theory of Computing, pages 151-158, 1971. 11. JM Crawford and LD Auton. Experimental results on the crossover point in satisfiability...In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 21-27, 1993. 12. JM Crawford and AB Baker. Experimental results on... | |
| Kousha Etessami - 2005 - 579 páginas
...Computer-Aided Verification (CAy), Copenhagen, Denmark, July 2002. [CA93} JM Crawford and LD Anton. Experimental results on the crossover point in satisfiability...In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 21—27. AAAI Press, 1993. [CCK¿02] P. Chauhan, E. Clarke, J. Kukula,... | |
| |