Fault Localization and Correction with QBF

DOI10.1007/978-3-540-72788-0_34zbMath1214.94086OpenAlexW1511845115MaRDI QIDQ3612477

Roderick Bloem, Stefan Staber

Publication date: 10 March 2009

Published in: Theory and Applications of Satisfiability Testing – SAT 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72788-0_34

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (11)

Unnamed Item ⋮ Long-distance Q-resolution with dependency schemes ⋮ Unnamed Item ⋮ Finding and fixing faults ⋮ Unified QBF certification and its applications ⋮ Efficiently solving quantified bit-vector formulas ⋮ Explaining counterexamples using causality ⋮ Lower bound techniques for QBF expansion ⋮ Long Distance Q-Resolution with Dependency Schemes ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• sKizzo

This page was built for publication: Fault Localization and Correction with QBF