Login / Signup

Cut-Admissibility as a Corollary of the Subformula Property.

Ori LahavYoni Zohar
Published in: TABLEAUX (2017)
Keyphrases
  • linear programming
  • neural network
  • genetic algorithm
  • search engine
  • objective function
  • search algorithm
  • boolean satisfiability