192 citations · 482 across the 16 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.CO2019★ 8 cited
Semantic Limits of Dense Combinatorial Objects
Leonardo N. Coregliano, Alexander A. Razborov
The theory of limits of discrete combinatorial objects has been thriving for the last decade or so. The syntactic, algebraic approach to the subject is popularly known as "flag alg…
cs.LO2019
On CDCL-based proof systems with the ordered decision strategy
Nathan Mull, Shuo Pang, Alexander Razborov
We prove that conflict-driven clause learning SAT-solvers with the ordered decision strategy and the DECISION learning scheme are equivalent to ordered resolution. We also prove th…
math.CO2019★ 8 cited
Polynomial to exponential transition in Ramsey theory
Dhruv Mubayi, Alexander Razborov
Given , let be the minimum such that there exist arbitrarily large -uniform hypergraphs whose independence number is at most polylogarithmic i…