Stay organized with collections
Save and categorize content based on your preferences.
C++ Reference: simplification
Note: This documentation is automatically generated.
Implementation of a pure SAT presolver. This roughly follows the paper:
"Effective Preprocessing in SAT through Variable and Clause Elimination", Niklas Een and Armin Biere, published in the SAT 2005 proceedings.
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2024-08-06 UTC.
[null,null,["Last updated 2024-08-06 UTC."],[],["The document outlines the implementation of a pure SAT presolver, based on the \"Effective Preprocessing in SAT through Variable and Clause Elimination\" paper by Een and Biere (SAT 2005). It details the use of a `SatPresolver` class for preprocessing and a `SatPostsolver` class. The core functionality centers on simplifying SAT problems by eliminating variables and clauses as described in the mentioned research paper.\n"],null,[]]
