Search Results - person:"Grégoire, Éric"

A fast logically-complete preferential reasoner for the assessment of critical situations

Grégoire, Éric - In: Soft computing for risk evaluation and management : …, (pp. 155-169). 2013

Persistent link: https://www.econbiz.de/10010188191

Using local search to find MSSes and MUSes

Grégoire, Éric; Mazure, Bertrand; Piette, Cédric - In: European Journal of Operational Research 199 (2009) 3, pp. 640-646

In this paper, a new complete technique to compute Maximal Satisfiable Subsets (MSSes) and Minimally Unsatisfiable Subformulas (MUSes) of sets of Boolean clauses is introduced. The approach improves the currently most efficient complete technique in several ways. It makes use of the powerful...

Persistent link: https://www.econbiz.de/10004973546

Using local search to find MSSes and MUSes

Grégoire, Éric; Mazure, Bertrand; Piette, Cédric - In: European journal of operational research : EJOR 199 (2009) 3, pp. 640-646

Persistent link: https://www.econbiz.de/10003873485

Using local search to find MSSes and MUSes

Grégoire, Éric; Mazure, Bertrand; Piette, Cédric - In: European journal of operational research : EJOR 199 (2009) 3, pp. 640-646

Persistent link: https://www.econbiz.de/10008259561