Login / Signup

Minimal models for rational functions in a dynamical setting.

Nils BruinAlexander Molnar
Published in: LMS J. Comput. Math. (2012)
Keyphrases
  • minimal models
  • propositional logic
  • decision trees
  • constraint satisfaction problems
  • nonmonotonic reasoning
  • stable models