Recherche - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

7 résultats

	Pour les 7 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Constraint Reductions Olivier Bailleux , Yacine Boufkhad CP anniversary Volume, 2019 Autre publication scientifique hal-02735275v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		DPLL with restarts linearly simulates CDCL Olivier Bailleux [Research Report] Université de Bourgogne. 2019 Rapport hal-01985327v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Translation of Pseudo-Boolean Constraints to SAT Olivier Bailleux , Yacine Boufkhad , Olivier Roussel Journal on Satisfiability, Boolean Modeling and Computation, 2006, 2, pp.191-200 Article dans une revue hal-00159880v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Attempts to produce minimal Resolution refutations Olivier Bailleux [Research Report] Université de Bourgogne; UFR Sciences et Techniques. 2018 Rapport hal-01877804v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		New Encodings of Pseudo-Boolean Constraints into CNF Olivier Bailleux , Yacine Boufkhad , Olivier Roussel Theory and Applications of Satisfiability Testing - SAT 2009, Jun 2009, Swansea, United Kingdom. pp.181-194 Communication dans un congrès hal-00415126v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Some Computational Aspects of DISTANCE-SAT Olivier Bailleux , Pierre Marquis Journal of Automated Reasoning (JAR), 2006, 37 (4), pp.231-260 Article dans une revue hal-03300950v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Full CNF Encoding: The Counting Constraints Case Olivier Bailleux , Yacine Boufkhad The Seventh International Conference on Theory and Applications of Satisfiability Testing, May 2004, Vancouver, Canada Communication dans un congrès hal-00159899v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More