Skip to Main content Skip to Navigation
Conference papers

Enhanced Gaussian Elimination in DPLL-based SAT Solvers

Mate Soos 1
1 SALSA - Solvers for Algebraic Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00691961
Contributor : Ist Rennes <>
Submitted on : Friday, April 27, 2012 - 2:48:58 PM
Last modification on : Friday, January 8, 2021 - 5:50:04 PM

Identifiers

  • HAL Id : hal-00691961, version 1

Citation

Mate Soos. Enhanced Gaussian Elimination in DPLL-based SAT Solvers. Pragmatics of SAT Workshop, Jul 2010, Edinburgh, United Kingdom. ⟨hal-00691961⟩

Share

Metrics

Record views

142