Broken circuits in matroids-Dohmen's inductive proof.
Wojciech KordeckiAnna Lyczkowska-HanckowiakPublished in: Discuss. Math. Graph Theory (2013)
Keyphrases
- inductive learning
- machine learning
- high speed
- independent set
- lateral inhibition
- inductive logic programming
- concept learning
- artificial intelligence
- logic synthesis
- inductive inference
- circuit design
- inductive concept learning
- database
- recursive programs
- quantum computing
- delay insensitive
- electronic circuits
- inductive reasoning
- natural deduction
- theorem proving
- markov random field
- knowledge representation
- dynamic programming
- data sets