A Framework for the Specification of Random SAT and QSAT
Formulas

Nadia Creignou; Egly Uwe; Martina Seidl

Communication Dans Un Congrès Année : 2012

A Framework for the Specification of Random SAT and QSAT Formulas

(1) , (2) ,

1
2

Nadia Creignou

Fonction : Auteur
PersonId : 969640

Laboratoire d'informatique Fondamentale de Marseille

Egly Uwe

Fonction : Auteur

Institut für Informationssysteme [Wien]

Martina Seidl

Fonction : Auteur

Domaines

Autre [cs.OH]

Nadia Creignou : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01194396

Soumis le : dimanche 6 septembre 2015-19:57:05

Dernière modification le : mardi 5 mars 2024-09:18:04

Dates et versions

hal-01194396 , version 1 (06-09-2015)

Identifiants

HAL Id : hal-01194396 , version 1

Citer

Nadia Creignou, Egly Uwe, Martina Seidl. A Framework for the Specification of Random SAT and QSAT Formulas. 6th International Conference on Tests and Proofs, TAP'2012, 2012, Prague, Czech Republic. pp.163--168. ⟨hal-01194396⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

LIF CNRS UNIV-AMU EC-MARSEILLE LIS-LAB

27 Consultations

0 Téléchargements