Local-search Extraction of MUSes

Éric Grégoire; Bertrand Mazure; Cédric Piette

doi:10.1007/s10601-007-9019-7

Journal Articles Constraints Year : 2007

Local-search Extraction of MUSes

(1) , (2) , (1)

1
2

Éric Grégoire

Function : Author

Centre de Recherche en Informatique de Lens

Bertrand Mazure

Function : Author
PersonId : 755557
IdHAL : bertrand-mazure
ORCID : 0000-0002-3508-123X
IdRef : 142666084

Centre de Recherche en Informatique de Lens

Cédric Piette

Function : Author

Centre de Recherche en Informatique de Lens

Domains

Computer Science [cs]

bertrand mazure : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03987157

Submitted on : Tuesday, February 14, 2023-12:55:51 AM

Last modification on : Tuesday, February 14, 2023-4:14:58 AM

Dates and versions

hal-03987157 , version 1 (14-02-2023)

Identifiers

HAL Id : hal-03987157 , version 1
DOI : 10.1007/s10601-007-9019-7

Cite

Éric Grégoire, Bertrand Mazure, Cédric Piette. Local-search Extraction of MUSes. Constraints, 2007, 12 (3), pp.325-344. ⟨10.1007/s10601-007-9019-7⟩. ⟨hal-03987157⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS CNRS CRIL

0 View

0 Download

Local-search Extraction of MUSes

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share