Skolem Function Continuation for Quantified Boolean Formulas

DOI10.1007/978-3-319-61467-0_8zbMath1491.68192OpenAlexW2625349360MaRDI QIDQ5086224

Marijn J. H. Heule, Katalin Fazekas, Armin Biere, Martina Seidl

Publication date: 1 July 2022

Published in: Tests and Proofs (Search for Journal in Brave)

Full work available at URL: http://resolver.obvsg.at/urn:nbn:at:at-ubl:3-84

Mathematics Subject Classification ID

Logic in computer science (03B70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

CAQE and QuAbS: Abstraction Based QBF Solvers

This page was built for publication: Skolem Function Continuation for Quantified Boolean Formulas