QuBE: A System for Deciding Quantified Boolean Formulas Satisfiability-Reference-Cited by-同舟云学术

QuBE: A System for Deciding Quantified Boolean Formulas Satisfiability

Published:2001 Issue: Volume: Page:364-369
ISSN:0302-9743
Container-title:Automated Reasoning
language:
Short-container-title:

Author:

Giunchiglia Enrico,Narizzano Massimo,Tacchella Armando

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45744-5_27

Reference13 articles.

1. Jussi Rintanen. Constructing conditional plans by a theorem prover. Journal of Artificial Intelligence Research, 10:323–352, 1999.

2. U. Egly, T. Eiter, H. Tompits, and S. Woltran. Solving advanced reasoning tasks using quantified boolean formulas. In Proc. AAAI, 2000.

3. D.A. Plaisted and S. Greenbaum. A Structure-preserving Clause Form Translation. Journal of Symbolic Computation, 2:293–304, 1986.

4. M. Cadoli, M. Schaerf, A. Giovanardi, and M. Giovanardi. An algorithm to evaluate quantified boolean formulae and its experimental evaluation. Journal of Automated Reasoning, 2000. To appear. Reprinted in [13].

5. Jussi T. Rintanen. Improvements to the evaluation of quantified boolean formulae. In Dean Thomas, editor, Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99-Vol2), pages 1192–1197, S.F., July 31-August 6 1999. Morgan Kaufmann Publishers.

Cited by 52 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reasoning with Propositional Logic: From SAT Solvers to Knowledge Compilation;A Guided Tour of Artificial Intelligence Research;2020

2. Understanding and Extending Incremental Determinization for 2QBF;Computer Aided Verification;2018

3. Incremental Determinization;Theory and Applications of Satisfiability Testing – SAT 2016;2016

4. Resolving conflicts in knowledge for ambient intelligence;The Knowledge Engineering Review;2015-10-30

5. Formal integrated network security analysis tool: formal query‐based network security configuration analysis;IET Networks;2015-03