Propositional Proof Skeletons.

Joseph E. Reeves Benjamin Kiesl-Reiter Marijn J. H. Heule

Published in: TACAS (1) (2023)

Keyphrases

first order logic
proof procedure
theorem prover
theorem proving
propositional logic
classical first order logic
shape analysis
linear logic
shape representation
logic programming
default logic
medial axis
artificial intelligence
data sets
inference rules
distance transform
strips planning
mathematical proofs