Thread-parallel integrated test pattern generator utilizing satisfiability analysis
From MaRDI portal
Publication:987743
DOI10.1007/s10766-009-0124-7zbMath1197.68026OpenAlexW2156640787MaRDI QIDQ987743
Matthew Lewis, Ilia Polian, Bernd Becker, Alexander Czutro, Sudhakar M. Reddy, Piet Engelke
Publication date: 13 August 2010
Published in: International Journal of Parallel Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10766-009-0124-7
Related Items
Preprocessing for DQBF ⋮ Solving dependency quantified Boolean formulas using quantifier localization ⋮ Dependency Schemes for DQBF ⋮ The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1
Uses Software
Cites Work
This page was built for publication: Thread-parallel integrated test pattern generator utilizing satisfiability analysis