Skip to Main content Skip to Navigation
New interface
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
Contributor : Ist Rennes Connect in order to contact the contributor
Submitted on : Friday, April 27, 2012 - 2:48:58 PM
Last modification on : Friday, February 4, 2022 - 3:13:44 AM


  • HAL Id : hal-00691961, version 1


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



Record views