Author:
Codish Michael,Fekete Yoav,Fuhs Carsten,Schneider-Kamp Peter
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Bailleux, O., Boufkhad, Y., Roussel, O.: A translation of pseudo boolean constraints to SAT. Journal on Satisfiability, Boolean Modeling and Computation (JSAT) 2(1-4), 191–200 (2006)
2. Lecture Notes in Computer Science;O. Bailleux,2009
3. Barth, P.: Logic-based 0-1 constraint programming. Kluwer Academic Publishers, Norwell (1996)
4. AFIPS Conference Proceedings;K.E. Batcher,1968
5. Bixby, R.E., Boyd, E.A., Indovina, R.R.: MIPLIB: A test set of mixed integer programming problems. SIAM News 25, 16 (1992)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献