Enhanced Gaussian Elimination in DPLL-based SAT Solvers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Enhanced Gaussian Elimination in DPLL-based SAT Solvers

Domains

Other [cs.OH]
No file

Dates and versions

hal-00691961 , version 1 (27-04-2012)

Identifiers

  • HAL Id : hal-00691961 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More