Author:
Giunchiglia Enrico,Sebastiani Roberto
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. A. Armando and E. Giunchiglia. Embedding Complex Decision Procedures inside an Interactive Theorem Prover. Annals of Mathematics and Artificial Intelligence, 8(3–4):475–502, 1993.
2. Artificial Intelligence, 81(1,2), 1996. Special Volume on Frontiers in Probelm Solving: Phase Transitions and Complexity.
3. R. E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35(8):677–691, August 1986.
4. J. Crawford and L. Auton. Experimental results on the crossover point in 3SAT. Artificial Intelligence, 81, 1996.
5. M. D’Agostino and M. Mondadori. The Taming of the Cut. Journal of Logic and Computation, 4(3):285–319, 1994.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
2. Programming for modular reconfigurable robots;Programming and Computer Software;2012-01
3. Chapter 17 Event Calculus;Handbook of Knowledge Representation;2008
4. USING A THEOREM PROVER FOR REASONING ON CONSTRAINT PROBLEMS;Applied Artificial Intelligence;2007-04-25
5. A Stochastic Non-CNF SAT Solver;Lecture Notes in Computer Science;2006