On getting rid of the preprocessing minimization step in MUC-finding algorithms - Archive ouverte HAL Access content directly
Journal Articles Constraints Year : 2015

On getting rid of the preprocessing minimization step in MUC-finding algorithms

Not file

Dates and versions

hal-03300433 , version 1 (27-07-2021)

Identifiers

  • HAL Id : hal-03300433 , version 1

Cite

Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure. On getting rid of the preprocessing minimization step in MUC-finding algorithms. Constraints, 2015, 20, pp.414-432. ⟨hal-03300433⟩
5 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More