Sign in

Euler Diagram Encodings.

Paolo BottoniGennaro CostagliolaAndrew Fish
Published in: Diagrams (2012)
Keyphrases
  • differential equations
  • non binary
  • state transition
  • planning problems
  • orders of magnitude
  • case study
  • boolean satisfiability
  • uml activity diagrams
  • bayesian networks
  • search algorithm
  • sat encodings