Sign in
Post Mortem Analysis of SAT Solver Proofs.
Laurent Simon
Published in:
POS@SAT (2014)
Keyphrases
</>
post mortem
sat solvers
search algorithm
search space
np complete
objective function
logic programs
tissue characterization