Author:
Giunchiglia Enrico,Narizzano Massimo,Tacchella Armando
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference23 articles.
1. Backjumping for quantified boolean logic satisfiability;Giunchiglia,2001
2. Resolution for quantified boolean formulas;Kleine-Büning;Inform. and Comput.,1995
3. An algorithm to evaluate quantified boolean formulae;Cadoli,1998
4. An algorithm to evaluate quantified boolean formulae and its experimental evaluation;Cadoli;J. Automat. Reason.,2002
5. Improvements to the evaluation of quantified boolean formulae;Rintanen,1999
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献