Login / Signup

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

Éric GrégoireJean-Marie LagniezBertrand Mazure
Published in: Constraints An Int. J. (2015)
Keyphrases