Login / Signup

Using Minimal Correction Sets to More Efficiently Compute Minimal Unsatisfiable Sets.

Fahiem BacchusGeorge Katsirelos
Published in: CAV (2) (2015)
Keyphrases
  • minimal subsets
  • decision making
  • clustering algorithm
  • image sequences
  • bayesian networks
  • artificial neural networks
  • convex sets
  • definite clause