Login / Signup
Resolve and Expand.
Armin Biere
Published in:
SAT (Selected Papers (2004)
Keyphrases
</>
resolving conflicts
constraint satisfaction
modal logic
description logics
learning theory