6 citations · 6 across the 1 of their papers we have counts for
1 paper
Liviu Ilinca, Jeff Kahn
We give an alternative proof of a conjecture of Bollobás, Brightwell and Leader, first proved by Peter Allen, stating that the number of boolean functions definable by 2-SAT formul…