By the same authors

The Interaction Between Inference and Branching Heuristics

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2003
Original languageUndefined/Unknown


We present a preprocessing algorithm for SAT, based on the
HypBinRes inference rule, and show that it does not improve the performance
of a DPLL-based SAT solver with conflict recording. We also
present evidence that the ineffectiveness of the preprocessing algorithm is
the result of interaction with the branching heuristic used by the solver.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations