Sign in

On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs.

Shujun ZhangNaoki Nishida
Published in: FLOPS (2022)
Keyphrases
  • theorem proving
  • theorem prover
  • first order logic
  • quantifier free
  • machine learning
  • expert systems
  • linear programming
  • orders of magnitude
  • constraint satisfaction