Login / Signup

Resolve and Expand.

Armin Biere
Published in: SAT (Selected Papers (2004)
Keyphrases
  • resolving conflicts
  • constraint satisfaction
  • modal logic
  • description logics
  • learning theory