Incremental QBF Solving by DepQBF

DOI10.1007/978-3-662-44199-2_48zbMath1434.68547OpenAlexW99748905MaRDI QIDQ2879140

Uwe Egly, Florian Lonsing

Publication date: 8 September 2014

Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2_48

zbMATH Keywords

QBFQ-resolutionclause learningquantified Boolean formulaeincremental solvingcube learningsearch-based solving

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (6)

Quantified maximum satisfiability ⋮ Preprocessing for DQBF ⋮ Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API ⋮ Conformant planning as a case study of incremental QBF solving ⋮ On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving ⋮ CAQE and QuAbS: Abstraction Based QBF Solvers

Uses Software

• DepQBF

This page was built for publication: Incremental QBF Solving by DepQBF