KCNFS solver

Olivier Dubois 1 Gilles Dequen
1 RO - Recherche Opérationnelle
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01418191
Contributor : Lip6 Publications <>
Submitted on : Friday, December 16, 2016 - 2:12:41 PM
Last modification on : Thursday, March 21, 2019 - 2:30:48 PM

Identifiers

  • HAL Id : hal-01418191, version 1

Citation

Olivier Dubois, Gilles Dequen. KCNFS solver. SAT 2005 - 8th International Conference on Theory and Applications of Satisfiability Testing, Jun 2005, St. Andrews, Scotland, United Kingdom. pp.486-501. ⟨hal-01418191⟩

Share

Metrics

Record views

57