Login / Signup
On Acceleration of SAT-Based ATPG for Industrial Designs.
Rolf Drechsler
Stephan Eggersglüß
Görschwin Fey
Andreas Glowatz
Friedrich Hapke
Jürgen Schlöffel
Daniel Tille
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)
Keyphrases
</>
answer set programming
ai planning
industrial applications
bounded model checking
version space
real time
sat encodings
technology transfer
sat solvers
data sets
answer sets
planning domains
logic programs
quality improvement
multi agent
boolean satisfiability
industrial processes
industrial environment
database