An Extensible SAT-solver

@inproceedings{En2003AnES,
  title={An Extensible SAT-solver},
  author={N. E{\'e}n and Niklas S{\"o}rensson},
  booktitle={SAT},
  year={2003}
}
  • N. Eén, Niklas Sörensson
  • Published in SAT 2003
  • Computer Science
  • In this article, we present a small, complete, and efficient SAT-solver in the style of conflict-driven learning, as exemplified by Chaff. [...] Key Method The presented solver is designed with this in mind, and includes among other things a mechanism for adding arbitrary boolean constraints. It also supports solving a series of related SAT-problems efficiently by an incremental SAT-interface.Expand Abstract

    Figures and Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 2,679 CITATIONS

    Sat7 - Engineering a Modular SAT-Solver

    VIEW 1 EXCERPT
    CITES BACKGROUND

    SAT Solving with Reference Points

    VIEW 3 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    A Complete Multi-valued SAT Solver

    VIEW 10 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    Minipref: A Tool for Preferences in SAT (short paper)

    VIEW 2 EXCERPTS
    CITES METHODS

    Beyond Unit Propagation in SAT Solving

    VIEW 2 EXCERPTS
    CITES BACKGROUND

    The Birth of a WASP: Preliminary Report on a New ASP Solver

    VIEW 4 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    2002
    2020

    CITATION STATISTICS

    • 383 Highly Influenced Citations

    • Averaged 117 Citations per year from 2018 through 2020

    References

    Publications referenced by this paper.
    SHOWING 1-9 OF 9 REFERENCES

    Efficient conflict driven learning in a Boolean satisfiability solver

    Chaff: engineering an efficient SAT solver

    Temporal induction by incremental SAT solving

    SATIRE: A new incremental satisfiability engine

    Symbolic model checking using SAT procedures instead of BDDs

    GRASP-A new search algorithm for satisfiability

    Test pattern generation using Boolean satisfiability

    • T. Larrabee
    • Computer Science
    • IEEE Trans. on CAD of Integrated Circuits and Systems
    • 1992