Login / Signup
On Computing Minimum Unsatisfiable Cores.
Inês Lynce
João P. Marques Silva
Published in:
SAT (2004)
Keyphrases
</>
unsatisfiable cores
genetic algorithm
state space