Miplib -mixed integer problem library, 2005. ,
Generic ilp versus specialized 0-1 ilp: an update, ICCAD, pp.450-457, 2002. ,
Random partial max-sat generator ,
The first and second max-sat evaluations, Journal on Satisfiability, Boolean Modeling and Computation ,
Earth observation satellite management, Constraints, vol.4, issue.3, pp.293-299, 1999. ,
Local search algorithms for partial MAXSAT, Proceedings of the National Conference on Artificial Intelligence, AAAI-97, pp.263-268, 1997. ,
High-order consistency in valued constraint satisfaction, Constraints, vol.10, pp.283-305, 2005. ,
Soft arc consistency applied to optimal planning, Proceedings of the International Conference on Principles and Practice of Constraint Programming, pp.680-684, 2006. ,
, The wcsp repository, 2003.
Random binary max-csp generator, file random vcsp, 1995. ,
Translating pseudo-Boolean constraints into SAT, Boolean Modeling and Computation, vol.2, pp.1-26, 2006. ,
Branch-andcut algorithms for combinatorial optimization and their implementation in abacus, Computational Combinatorial Optimization, pp.157-222, 2001. ,
Simple and fast: Improving a branch-and-bound algorithm for maximum clique, Proceedings of ESA-2002, pp.485-498, 2002. ,
lsencode: A generator of quasigroup completion problem and related problems ,
Random graph generator, file random graph, 2005. ,
Second dimacs implementation challenge: Finding cliques in graphs, coloring graphs, and solving satisfiability problems, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 1994. ,
Spin glass server ,
Towards a universal test suite for combinatorial auction algorithms, ACM Conference on Electronic Commerce, pp.66-76, 2000. ,
In the quest of the best form of local consistency for weighted CSP, Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI-03, 2003. ,
Node and arc consistency in weighted CSP, Proceedings of the National Conference on Artificial Intelligence, AAAI-02, pp.48-53, 2002. ,
Weighted queens generator, file wqueens, 2004. ,
, , 2006.
The first evaluation of pseudo-Boolean solvers (pb'05), Journal on Satisfiability, Boolean Modeling and Computation, vol.2, pp.103-143, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00110082
Computing prime implicants by integer programming, ICTAI, pp.332-336, 1996. ,
An algorithm for optimal winner determination in combinatorial auctions, Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI-99, pp.542-547, 1999. ,
Program for generating random instances of sat problems, 1992. ,
Pueblo: A hybrid pseudo-Boolean SAT solver, Journal on Satisfiability, Boolean Modeling and Computation, vol.2, pp.165-189, 2006. ,
Study of lower bounds for Max-2-SAT, Proceedings of the National Conference on Artificial Intelligence, AAAI-04, 2004. ,
, , 2002.
Exact ground states in spin glasses: New experimental results with a branch-and-cut algorithm, Journal of Statistical Physics, vol.80, pp.487-496, 1995. ,
Cnfgen formula generator, 1993. ,
, Proceedings of the International Conference on Principles and Practice of Constraint Programming, pp.441-456, 2000.
Ramsey number problem generator, 1998. ,
Logic synthesis and optimization benchmarks user guide version 3.0. Microelectronics Center of North Carolina, 1991. ,