Login / Signup

The complexity of minimal inference problem for conservative constraint languages.

Michal Wrona
Published in: LICS (2017)
Keyphrases