Login Form






Lost Password?
Home arrow Publications
Bibliography
Author Title    Order     Display # 
Authors Title Journal Year Type Links
Enrico Giunchiglia Paolo Marin Massimo Narizzano Reasoning with Quantified Boolean Formulas Handbook of Satisfiability 2009 book chapter Webpage Link
Enrico Giunchiglia Paolo Marin Massimo Narizzano An Effective Preprocessor for QBF pre-reasoning 2nd International Workshop on Quantification in Constraint Programming (QiCP 2008) 2008 inproceedings Webpage Link
Enrico Giunchiglia Paolo Marin Massimo Narizzano Preprocessing Techniques for QBFs 15th RCRA workshop \\\\ 2008 inproceedings Webpage Link
E. Giunchiglia M. Narizzano A. Tacchella Quantifier Structure in search based procedures for QBFs IEEE Transactions on Computer Aided Design of Integrated Circuits and Sistems 2007 article Webpage Link
Enrico Giunchiglia Marco Maratea Planning as Satisfiability with Preferences AAAI 2007 inproceedings Webpage Link
-- Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada AAAI 2007 proceedings Webpage Link
Enrico Giunchiglia Marco Maratea SAT-Based Planning with Minimal-#actions Plans and "soft" Goals AI*IA 2007 inproceedings Webpage Link
M. Narizzano L. Pulina A. Tacchella The third QBF solvers comparative evaluation Journal on Satisfiability, Boolean Modeling and Computation 2006 article Webpage Link
E. Giunchiglia M. Narizzano A. Tacchella Clause-Term Resolution and Learning in Quantified Boolean Logic Satisfiability Artificial Intelligence Research 2006 article Webpage Link
E. Giunchiglia M. Narizzano A. Tacchella Quantifier structure in search based procedures for QBFs Design Automation and Test in Europe (DATE 2006) 2006 inproceedings
M. Narizzano L.Pulina A. Tacchella Voting Systems and Automated Reasoning: the QBFEVAL Case Study 1st Workshop on Computational Social Choice (COMSOC 2006) 2006 inproceedings
M. Narizzano L. Pulina A. Tacchella Competitive Evaluation of Automated Reasoning Tools: Statistical Testing and Empirical Scoring First Workshop on Empirical Methods for the Analysis of Algorithms (EMAA 2006) 2006 inproceedings Webpage Link
M. Narizzano L. Pulina A. Taccchella QBF solvers competitive evaluation (QBFEVAL) -- 2006 misc Webpage Link
Massimo Narizzano Luca Pulina Armando Tacchella The QBFEVAL Web Portal. Logics in Artificial Intelligence, 10th European Conference, JELIA 2006 2006 inproceedings
E. Giunchiglia M. Narizzano M. Pistore P. Traverso Using Quantified Boolean Logic to Verify Web Service Composition Requirements 4th International Workshop on AI for Service Composition 2006 inproceedings
Luigia Carlucci Aiello Enrico Giunchiglia Luciano Serafini Logics For Artificial Intelligence Intelligenza Artificiale 2006 article Webpage Link
Enrico Giunchiglia Marco Maratea optsat: A Tool for Solving SAT Related Optimization Problems JELIA 2006 inproceedings Webpage Link
M. Narizzano A. Tacchella QDIMACS prenex CNF standard ver. 1.1 -- 2005 misc Webpage Link
Enrico Giunchiglia Marco Maratea An Experimental Study of Search Strategies and Heuristics in Answer Set Programming Answer Set Programming 2005 inproceedings Electronic Paper Link
D. Le Berre and M. Narizzano and L. Simon and A. Tacchella Second QBF solvers evaluation Pacific Institute of Mathematics 2004 book Webpage Link
Sixth International Conference on Theory and Applications of Satisfiability Testing - Selected and Revised Papers Springer Verlag 2004 book
D. Le Berre M. Narizzano L. Simon A. Tacchella The second QBF solvers evaluation Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004) 2004 inproceedings
E. Giunchiglia M. Narizzano A. Tacchella QuBE++: an Efficient QBF Solver 5th Formal Methods in Computer Aided Design conference (FMCAD 2004) 2004 inproceedings
E. Giunchiglia M. Narizzano A. Tacchella Monotone Literals and Learning in QBF reasoning 10th Conference on Principles and Practice of Constraint Programming (CP 2004) 2004 inproceedings
E. Giunchiglia M. Narizzano A. Tacchella QBF reasoning on real-world instances 7th International Conference on Theory and Applications of Satisfiability Testing (SAT 2004) 2004 inproceedings
 
<< Start < Prev 1 2 3 Next > End >>
Results 1 - 25 of 60
Download bibtex string for all 60 results