1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Stefan Dantchev, Nicola Galesi, Abdul Ghani +1
Stabbing Planes (also known as Branch and Cut) is a proof system introduced very recently which, informally speaking, extends the DPLL method by branching on integer linear inequal…