Minimizing Pentagons in the Plane through Automated Reasoning.

Bernardo Subercaseaux John Mackey Marijn J. H. Heule Ruben Martins

Published in: CoRR (2023)

Keyphrases

automated reasoning
reasoning systems
knowledge representation
theorem proving
theorem prover
probabilistic reasoning
decision procedures
reasoning tasks
automated verification
knowledge representation and reasoning
special case
neural network
lower bound
general purpose
propositional satisfiability