Stefan Dantchev
- Proof complexity and the binary encoding of combinatorial principles
2020/08/04 by Stefan Dantchev, Dantchev, Stefan, Nicola Galesi +5 · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Benford’s Law and Fraud Detection #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #semigroups and automata theory