Solving QBF with counterexample guided refinement (Q253964): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Bots
7,080,617 edits
‎Created a new Item
 
Normalize DOI.
 
(20 intermediate revisions by 8 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.artint.2016.01.004 / rank
Normal rank
 
Property / author
 
Property / author: João P. Marques-Silva / rank
Normal rank
 
Property / author
 
Property / author: Edmund M. Clarke / rank
Normal rank
 
Property / author
 
Property / author: João P. Marques-Silva / rank
 
Normal rank
Property / author
 
Property / author: Edmund M. Clarke / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68T20 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6551548 / rank
 
Normal rank
Property / zbMATH Keywords
 
QBF
Property / zbMATH Keywords: QBF / rank
 
Normal rank
Property / zbMATH Keywords
 
expansion
Property / zbMATH Keywords: expansion / rank
 
Normal rank
Property / zbMATH Keywords
 
counterexample guided abstraction refinement (CEGAR)
Property / zbMATH Keywords: counterexample guided abstraction refinement (CEGAR) / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: sKizzo / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: sQueezeBF / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Nenofex / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Bloqqer / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: QUBOS / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: semprop / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Mjollnir / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Quaffle / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: DepQBF / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: MiniSat / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: QUBE / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: CirQit2 / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.artint.2016.01.004 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2233304325 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q62047276 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3620436 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic for Programming, Artificial Intelligence, and Reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nenofex: Expanding NNF for QBF Solving / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounded Universal Expansion for Preprocessing QBF / rank
 
Normal rank
Property / cites work
 
Property / cites work: sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Failed Literal Detection for QBF / rank
 
Normal rank
Property / cites work
 
Property / cites work: Binary Clause Reasoning in QBF / rank
 
Normal rank
Property / cites work
 
Property / cites work: Blocked Clause Elimination for QBF / rank
 
Normal rank
Property / cites work
 
Property / cites work: Principles and Practice of Constraint Programming – CP 2004 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated Deduction – CADE-20 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Counterexample-guided abstraction refinement for symbolic model checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4412858 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstraction-Based Algorithm for 2QBF / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving QBF with Counterexample Guided Refinement / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5604434 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A structure-preserving clause form translation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4298260 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Resolution for quantified Boolean formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving satisfiability problems with preferences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4809077 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4804899 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The minimum equivalent DNF problem and shortest implicants / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Non-prenex, Non-clausal QBF Solver with Game-State Learning / rank
 
Normal rank
Property / cites work
 
Property / cites work: The QBF Gallery: behind the scenes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exploiting Circuit Representations in QBF Solving / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficiently solving quantified bit-vector formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory and Applications of Satisfiability Testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using SAT in QBF / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3566747 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4427904 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Experiments with Reduction Finding / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantified Maximum Satisfiability: / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Propositional QBF Expansions and Q-Resolution / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Unification of QBF Resolution-Based Calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Contributions to the Theory of Practical Quantified Boolean Formula Solving / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unified QBF certification and its applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expansion-based QBF solving versus Q-resolution / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2954985 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5503674 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.ARTINT.2016.01.004 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 15:09, 8 December 2024

scientific article
Language Label Description Also known as
English
Solving QBF with counterexample guided refinement
scientific article

    Statements

    title
    Solving QBF with counterexample guided refinement (English)
    0 references
    author
    Mikoláš Janota
    0 references
    William Klieber
    0 references
    João P. Marques-Silva
    0 references
    Edmund M. Clarke
    0 references
    publication date
    8 March 2016
    0 references
    zbMATH Keywords
    QBF
    0 references
    expansion
    0 references
    counterexample guided abstraction refinement (CEGAR)
    0 references
    describes a project that uses
    sKizzo
    0 references
    sQueezeBF
    0 references
    Nenofex
    0 references
    Bloqqer
    0 references
    QUBOS
    0 references
    semprop
    0 references
    Mjollnir
    0 references
    Quaffle
    0 references
    DepQBF
    0 references
    MiniSat
    0 references
    QUBE
    0 references
    CirQit2
    0 references
    cites work
    Q3620436
    0 references
    Q4412858
    0 references
    Q5604434
    0 references
    Q4298260
    0 references
    Q4809077
    0 references
    Q4804899
    0 references
    Using SAT in QBF
    0 references
    Q3566747
    0 references
    Q4427904
    0 references
    Q2954985
    0 references
    Q5503674
    0 references

    Identifiers

    zbMATH DE Number
    6551548
    0 references
    OpenAlex ID
    W2233304325
    0 references
    Wikidata QID
    Q62047276
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q253964&oldid=38039761"
    Powered by MediaWiki