Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
From International Center for Computational Logic
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
Tobias PhilippTobias Philipp
![Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Tobias Philipp
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
Vienna Austria - Pragmatics of SAT 2014, July 2014
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
Vienna Austria - Pragmatics of SAT 2014, July 2014
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@misc{P2014,
author = {Tobias Philipp},
title = {Validating Unsatisfiability Results of Clause Sharing Parallel {SAT}
Solvers},
year = {2014},
month = {July}
}