https://deepai.org/publication/lemma-generation-for-horn-clause-satisfiability-a-preliminary-study
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study | DeepAI
Aug 20, 2019 - 08/20/19 - It is known that the verification of imperative, functional, and logic programs can be reduced to the satisfiability of constraine...
horn clauselemmagenerationsatisfiabilitypreliminary
https://www.semanticscholar.org/topic/Horn-clause/167464
Horn clause | Semantic Scholar
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form which gives it useful properties for use in...
horn clausesemanticscholar
https://deepai.org/publication/proving-properties-of-sorting-programs-a-case-study-in-horn-clause-verification
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification | DeepAI
Jul 9, 2019 - 07/09/19 - The proof of a program property can be reduced to the proof of satisfiability of a set of constrained Horn clauses (CHCs) which ca...
a case study