An Algorithm for Proving Combinatorial Infeasibility

(arxiv.org)

2 points | by E-Reverance 12 hours ago ago