Login / Signup
Cut-Admissibility as a Corollary of the Subformula Property.
Ori Lahav
Yoni Zohar
Published in:
TABLEAUX (2017)
Keyphrases
</>
linear programming
neural network
genetic algorithm
search engine
objective function
search algorithm
boolean satisfiability