Login / Signup
Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous.
Tobias Schmidt-Samoa
Published in:
J. Appl. Non Class. Logics (2006)
Keyphrases
</>
search algorithm
heuristic search
lightweight
theorem proving
heuristic methods
data sets
scheduling problem
conditional logic