Login / Signup

Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs.

Marcelo FingerDov M. Gabbay
Published in: Log. J. IGPL (2007)
Keyphrases
  • real time
  • machine learning
  • genetic algorithm
  • facet defining inequalities
  • gradual transitions
  • cover inequalities