CLib : Configuration Benchmarks Library
Maintained by CLA group @ IT-University of Copenhagen
Configuration Benchmarks
Note: Many of the benchmarks are in Configit language. For some instances, corresponding ILOG Solver C++ codes are also available. CP refers to CLab format.
Renault [1] (Configit / ILOG / CP ) (ILOG requires renault.csp)
PSR [2] (ILOG)
Parity32_13 [3] (ILOG)
PC2 (CP )
Bike2 (CP)
All the benchmark files are also in a single file (clib-all.zip)
References
[1] Amilhastre, J., Fargier, H., Marquis, P.: Consistency restoration and explanations in dynamic CSPs-application to configuration. Artificial Intelligence (1-2) (2002) 199--234 ftp://fpt.irit.fr/pub/IRIT/RPDMP/Configuration/
[2] Thiebaux, S., Cordier, M.O.: Supply restoration in power distribution systems -- a benchmark for planning under uncertainty. In Pre-Proceedings of the 6th European Conference on Planning (ECP-01). (2001) 85--96
[3] Parity-Function: ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/contributed/crawford/README
[4] Tiihonen, J., Soininen, T., Niemela, I., Sulonen, R.: Empirical testing of a weight constraint rule based configurator. In ECAI 2002 Configuration Workshop. (2002) 17--22 http://www.soberit.hut.fi/pdmg/Empirical/index.html
[5] Sinz, C., Kaiser, A., Küchlin, W.: Formal methods for the validation of automotive product configuration data. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 17 (2003) 75--97 Special issue on configuration http://www-sr.informatik.uni-tuebingen.de/~sinz/DC/]
[6] Jensen, R., Lars, S.: Power Supply Restoration, Master's thesis, IT University of Copenhagen, January 2005
[7] Fault trees distributed by Antoine Rauzy at: http://iml.univ-mrs.fr/~arauzy/aralia/benchmark.html
Related Conferences / Workshops
(Only DBLP links, google for current conference webpages)
International Conference on Principles and Practice of Constraint Programming (CP)
Annual Configuration Workshop (Held along with conferences like IJCAI, AAAI, ECAI)
ACM Symposium on Applied Computing (SAC) (Special Constraints Track)
National Conference on Artificial Intelligence (AAAI)
International Joint Conference on Artificial Intelligence (IJCAI)
Eureopean Conference on Artificial Intelligence (ECAI)
IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
FLAIRS Conference (Special Constraints Track)
International Conference on Theory and Applications of Satisfiability Testing (SAT)
ERCIM/CoLogNet Working Group on Constraints Workshop
Workshop on (Constraint) Logic Programming
CADE
Journals
Constraints - An International Journal (CONSTRAINTS)
ACM Transactions on Computational Logic (TOCL)
Journal of Automated Reasoning (JAR)
Journal of Artificial Intelligence Research (JAIR)
Artificial Intelligence (AI Journal)
Publicly available Tools/Libraries
ECLiPSe (Free academic license)
Dash Optimization (Free academic license)
Companies
Configuration Companies
ILOG (Solver / Configurator)
PeopleSoft
(Acquired Calico Technology)
Oracle Configurator
EAS -Engineering Automation Systems
Related Companies
Research Groups
Related Websites/MailingLists
Constraint Programming (CP) online
CoLogNet-Constraint Logic Programming
Consulting Companies on Configuration
Constraints Still Key for Product Configurator Deployments (June 2004)
Vendor Rating- Selectica (May 2004)
Product Configurators Enhance Revenue and Reduce Costs (June 2001)
Search for Sales Configuration documents
Product Configurator Software: Understanding the differences (2002)
Product Configurators: Key Enablers for Mass Customization (2000)
Configurators: A Status Report (1998)
Send comments, queries, and suggestions to Sathiamoorthy Subbarayan (sathi at itu dot dk)