Login / Signup
Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications.
Ana Petkovska
Alan Mishchenko
Mathias Soeken
Giovanni De Micheli
Robert K. Brayton
Paolo Ienne
Published in:
ICCAD (2016)
Keyphrases
</>
answer set programming
answer sets
generation process
bounded model checking
phase transition
search algorithm
randomly generated
support vector
lower bound
domain independent
satisfiability problem
ai planning