預處理技術文獻

1.

Norbert Manthey, Marijn Heule, Armin Biere:
Automated Reencoding of Boolean Formulas. Haifa Verification Conference 2012: 102-117

2.

A. Haberlandt, H. Green, and M. J. Heule, “Effective auxiliary variables via structured reencoding,” in-review at SAT 2023

3.

%SBVA-CADICAL and SBVA-KISSAT: Structured Bounded Variable Addition
Andrew Haberlandt∗
and Harrison Green∗
Carnegie Mellon University
Pittsburgh, Pennsylvania, USA
{ahaberla, harrisog}@cmu.edu
∗Authors contributed equally
page 18

%kissat cadical

%Andrew Haberlandt, Harrison Green, “SBVA-CADICAL and SBVA-KISSAT: Structured Bounded Variable Addition,” in Proc. of SAT Competition 2023 – Solver and Benchmark
Descriptions, ser. Department of Computer Science Series of Publications B,
T. Balyo, N. Froleyks, M. Heule, M. Iser, M. Jarvisalo, and M. Suda, ¨
Eds., vol. B-2023-1. University of Helsinki, 2023, pp. 18.

@book{248aee38a46f47c5aa5f52b004dfedb8,

title = "Proceedings of SAT Competition 2023: Solver, Benchmark and Proof Checker Descriptions",

keywords = "113 Computer and information sciences",

editor = "Tomas Balyo and Marijn Heule and Markus Iser and Matti J{\"a}rvisalo and Martin Suda",

year = "2023",

language = "English",

series = "Department of Computer Science Series of Publications B",

publisher = "Department of Computer Science, University of Helsinki",

address = "Finland",

}