Symmetries of Quantified Boolean Formulas-Reference-Cited by-同舟云学术

Symmetries of Quantified Boolean Formulas

Published:2018 Issue: Volume: Page:199-216
ISSN:0302-9743
Container-title:Theory and Applications of Satisfiability Testing – SAT 2018
language:
Short-container-title:

Author:

Kauers Manuel,Seidl Martina

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-94144-8_13

Reference28 articles.

1. Polya, G.: How to Solve It: A New Aspect of Mathematical Method. Princeton University Press, Princeton (1945)

2. Frontiers in Artificial Intelligence and Applications;KA Sakallah,2009

3. Foundations of Artificial Intelligence;IP Gent,2006

4. Cohen, D.A., Jeavons, P., Jefferson, C., Petrie, K.E., Smith, B.M.: Constraint symmetry and solution symmetry. In: Proceedings of the 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference (AAAI/IAAI 2006), pp. 1589–1592. AAAI Press (2006)

5. Frontiers in Artificial Intelligence and Applications;H Kleine Büning,2009

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

1. Never Trust Your Solver: Certification for SAT and QBF;Lecture Notes in Computer Science;2023

2. Towards Tackling QSAT Problems with Deep Learning and Monte Carlo Tree Search;Lecture Notes in Networks and Systems;2022

3. Chapter 31. Quantified Boolean Formulas;Frontiers in Artificial Intelligence and Applications;2021-02-02

4. QBFFam: A Tool for Generating QBF Families from Proof Complexity;Theory and Applications of Satisfiability Testing – SAT 2021;2021

5. Proof Complexity of QBF Symmetry Recomputation;Lecture Notes in Computer Science;2019