Dependency learning for QBF
From MaRDI portal
Publication:1680261
DOI10.1007/978-3-319-66263-3_19zbMATH Open1478.68330OpenAlexW2742414663MaRDI QIDQ1680261FDOQ1680261
Authors: Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider 
Publication date: 15 November 2017
Full work available at URL: http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3440
Recommendations
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Complexity of proofs (03F20)
Cited In (31)
- Dependency Learning for QBF
- Knowledge representation analysis of graph mining
- Learning an extension of the class of functional dependencies with queries
- Dependency schemes for DQBF
- Title not available (Why is that?)
- The (D)QBF preprocessor HQSpre -- underlying theory and its implementation
- A Compact Representation for Syntactic Dependencies in QBFs
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
- Quantifier reordering for QBF
- Title not available (Why is that?)
- Building strategies into QBF proofs
- Clausal abstraction for DQBF
- Solving dependency quantified Boolean formulas using quantifier localization
- Incremental QBF solving by DepQBF
- Formal methods for NFA equivalence: QBFs, witness extraction, and encoding verification
- Clause/Term resolution and learning in the evaluation of quantified Boolean formulas
- Integrating dependency schemes in search-based QBF solvers
- Variable independence and resolution paths for quantified Boolean formulas
- Efficiently representing existential dependency sets for expansion-based QBF solvers
- Variable dependencies and Q-resolution
- From DQBF to QBF by dependency elimination
- CAQE and QuAbS: Abstraction Based QBF Solvers
- Combining resolution-path dependencies with dependency learning
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
- Dynamic QBF dependencies in reduction and expansion
- ALLQBF solving by computational learning
- Long-distance Q-resolution with dependency schemes
- Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications
- Moving definition variables in quantified Boolean formulas
- Learning to integrate deduction and search in reasoning about quantified Boolean formulas
- Title not available (Why is that?)
Uses Software
This page was built for publication: Dependency learning for QBF
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1680261)
