DRAT-trim: Efficient checking and trimming using expressive clausal proofs

N Wetzler, MJH Heule, WA Hunt Jr - International Conference on Theory …, 2014 - Springer
The DRAT-trim tool is a satisfiability proof checker based on the new DRAT proof format.
Unlike its predecessor, DRUP-trim, all presently known SAT solving and preprocessing …
被引用次数：319 相关文章

DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

N Wetzler, MJH Heule, WA Hunt Jr - … , Held as Part of the Vienna …, 2014 - books.google.com
The DRAT-trim tool is a satisfiability proof checker based on the new DRAT proof format.
Unlike its predecessor, DRUP-trim, all presently known SAT solving and preprocessing …

[引用][C] DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

N Wetzler, MJH Heule, WA Hunt - Lecture Notes in Computer Science, 2014 - cir.nii.ac.jp
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs | CiNii Research
CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文 …
[PDF] utexas.edu

[PDF][PDF] DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

N Wetzler, MJH Heule, WA Hunt Jr - cs.utexas.edu
The DRAT-trim tool is a satisfiability proof checker based on the new DRAT proof format.
Unlike its predecessor, DRUP-trim, all presently known SAT solving and preprocessing …
[PDF] toronto.edu

[PDF][PDF] DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

N Wetzler, MJH Heule, WA Hunt Jr - cs.toronto.edu
The DRAT-trim tool is a satisfiability proof checker based on the new DRAT proof format.
Unlike its predecessor, DRUP-trim, all presently known SAT solving and preprocessing …

DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

N Wetzler, MJH Heule, WA Hunt Jr - … and Applications of Satisfiability Testing–SAT … - Springer
The DRAT-trim tool is a satisfiability proof checker based on the new DRAT proof format.
Unlike its predecessor, DRUP-trim, all presently known SAT solving and preprocessing …
[PDF] cmu.edu

[PDF][PDF] DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

N Wetzler, MJH Heule, WA Hunt Jr - cs.cmu.edu
The DRAT-trim tool is a satisfiability proof checker based on the new DRAT proof format.
Unlike its predecessor, DRUP-trim, all presently known SAT solving and preprocessing …
[PDF] semanticscholar.org

[PDF][PDF] DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

N Wetzler, MJH Heule, WA Hunt Jr - 2014 - pdfs.semanticscholar.org
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs Page 1 DRAT-trim:
Efficient Checking and Trimming Using Expressive Clausal Proofs Nathan Wetzler Marijn JH …
[PDF] cmu.edu

[PDF][PDF] DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs

N Wetzler, MJH Heule, WA Hunt Jr - cs.cmu.edu
The DRAT-trim tool is a satisfiability proof checker based on the new DRAT proof format.
Unlike its predecessor, DRUP-trim, all presently known SAT solving and preprocessing …