C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Model and Program Repair via SAT Solvers
Paul C. Attie
Jad Saklawi
Published in:
CoRR (2007)
Keyphrases
</>
probabilistic model
dynamic programming
description logics
sat solvers
boolean satisfiability