Verification of partial designs using incremental QBF

DOI10.3233/AIC-140633zbMath1373.68382OpenAlexW1515828819MaRDI QIDQ4589096

Paolo Marin, Bernd Becker, Christian R. Miller

Publication date: 7 November 2017

Published in: AI Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/aic-140633

zbMATH Keywords

blackboxBMCincremental QBFpartial design verification

Mathematics Subject Classification ID

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

Related Items (2)

Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API ⋮ Conformant planning as a case study of incremental QBF solving

This page was built for publication: Verification of partial designs using incremental QBF