Login / Signup

Horn Clause Solvers for Program Verification.

Nikolaj BjørnerArie GurfinkelKenneth L. McMillanAndrey Rybalchenko
Published in: Fields of Logic and Computation II (2015)
Keyphrases
  • horn clauses
  • inference rules
  • first order logic
  • logic programs
  • inductive logic programming
  • sat solvers
  • database queries
  • database
  • expert systems
  • numerically stable
  • quantified boolean formulas
  • eigenvalue problems