Login / Signup
An Expressive Model for Instance Decomposition Based Parallel SAT Solvers.
Tobias Philipp
Published in:
FroCos (2015)
Keyphrases
</>
sat solvers
probabilistic model
objective function
search space