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
Type de document :
Communication dans un congrès
Pragmatics of SAT Workshop, Jul 2010, Edinburgh, United Kingdom. 2010
Liste complète des métadonnées

https://hal.inria.fr/hal-00691961
Contributeur : Ist Rennes <>
Soumis le : vendredi 27 avril 2012 - 14:48:58
Dernière modification le : vendredi 25 mai 2018 - 12:02:04

Identifiants

  • HAL Id : hal-00691961, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

74