Home » Authors » Eric Gregoire, Bertrand Mazure, Cédric Piette

Eric Gregoire, Bertrand Mazure, Cédric Piette

Public reference bibliography and cataloged PDF materials authored or published by Eric Gregoire, Bertrand Mazure, Cédric Piette.

Found 1 document(s) Page 1 of 1

Extraction de sous-formules minimales inconsistantes

Year: 2006 • Source: hal.science • Listed PDF

Une sous-formule minimale inconsistante (Minimally Unsatisfiable Subformula ou MUS en anglais) représente la plus petite cause d'incohérence d'une instance SAT en terme de nombre de clauses. Extraire un ou plusieurs MUS ...