3 citations · 7 across the 7 of their papers we have counts for
1 paper · 1 filter
Marcel K. de Carli Silva, Fernando Mário de Oliveira Filho, Cristiane Maria Sato
The theory of flag algebras, introduced by Razborov in 2007, has opened the way to a systematic approach to the development of computer-assisted proofs in extremal combinatorics. I…