Lower bounds for cutting planes proofs with small coefficients
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Combining satisfiability techniques from AI and OR
The Knowledge Engineering Review
Hi-index | 0.00 |