Even shorter proofs without new variables.

Adrián Rebola-Pardo

Published in: CoRR (2023)

Keyphrases

variable selection
theorem proving
search algorithm
theorem prover
relevant variables
conditional probabilities
social networks
multiscale
optimal solution
random variables
state variables