Exploiting circuit representations in QBF solving

DOI10.1007/978-3-642-14186-7_29zbMATH Open1306.68158OpenAlexW1597075322MaRDI QIDQ4930601FDOQ4930601

Authors: Alexandra Goultiaeva, Fahiem Bacchus 

Publication date: 29 September 2010

Published in: Theory and Applications of Satisfiability Testing – SAT 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14186-7_29

Recommendations

• Beyond CNF: A Circuit-Based QBF Solver
• Circuit-based search space pruning in QBF
• Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares
• Formal Methods in Computer-Aided Design
• Principles and Practice of Constraint Programming – CP 2004

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25)

Cited In (14)

• Solving QBF with counterexample guided refinement
• Title not available (Why is that?)
• Quantified maximum satisfiability
• Circuit-based search space pruning in QBF
• Beyond CNF: A Circuit-Based QBF Solver
• Antichain-Based QBF Solving
• Recovering and utilizing partial duality in QBF
• Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares
• CirQit2
• CAQE and QuAbS: Abstraction Based QBF Solvers
• Transformations into normal forms for quantified circuits
• Long-distance Q-resolution with dependency schemes
• Counterexample-Guided Model Synthesis
• Long distance Q-resolution with dependency schemes

Uses Software

• Nenofex
• QBFLIB
• QUBE

This page was built for publication: Exploiting circuit representations in QBF solving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4930601)