RegSTAB: a SAT-Solver for Propositional Schemata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

RegSTAB: a SAT-Solver for Propositional Schemata

Dates et versions

hal-00940666 , version 1 (02-02-2014)

Identifiants

Citer

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier. RegSTAB: a SAT-Solver for Propositional Schemata. IJCAR 2010, 2010, Edinburgh, United Kingdom. pp.309-315, ⟨10.1007/978-3-642-14203-1_26⟩. ⟨hal-00940666⟩
105 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More