Keyphrases
- cut elimination
- sequent calculus
- sufficient conditions
- proof search
- theorem proving
- linear logic
- natural deduction
- inference rules
- theorem prover
- formal proofs
- planar graphs
- mathematical proofs
- formal proof
- digital topology
- mixed integer
- modal logic
- subtour elimination
- neural network
- lot sizing
- fixed point
- knowledge base
- e learning
- artificial intelligence
- facet defining inequalities
- equational theories
- data mining