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