Login / Signup

A Comparison of Solvers for Propositional Dynamic Logic.

Ullrich HustadtRenate A. Schmidt
Published in: PAAR@IJCAR (2010)
Keyphrases
  • propositional dynamic logic
  • sat solvers
  • expert systems
  • machine learning
  • computer vision
  • software engineering