Category Archives: CP Conference

Financial Markets, Random Testing and Constraint Programming


Nowadays, all major financial markets use computer trading systems to support their trading activities. Because failures in these systems can cause serious economic damage, reliability is a top goal in their development. The complex functionality that trading systems deliver makes … Continue reading

Posted in 2010, 66 Auxiliary to Financial and Insurance Activities, 66.11 Administration of Financial Markets, CP Conference, K Financial and Insurance Activities | Tagged , , , | 1 Comment

Context-Sensitive Call Control using Constraints and Rules


Telecommunications services like instant messaging or internet telephony bring increased flexibility to communicate at home, in the office or on the move. Their pervasiveness is also a source of disruptions and intrusions. Service providers are therefore looking for personalisation solutions … Continue reading

Posted in 2008, 2010, 61 Telecommunications, 61.2 Wireless Telecommunications, Choco, CP Conference, ECAI, J Information and Communications, JAIR, Network, prototype | Leave a comment

Building Fighter Aircraft


Most scheduling tools are intended for operational use, to control the sequence of production in a factory on a day-to-day basis. The MOSES application described before is a good example of such an operational tool. The PLANE system described in … Continue reading

Posted in 1992, 30 Manufacture of other transport equipment, 30.3 Manufacture of air and space craft, C Manufacturing, CHIP, CP Conference, ECLiPSe, Practical Applications Conferences, product/multiple installations, Scheduling | Leave a comment

Production Planning and Scheduling for Monsanto


We developed the ATLAS application at COSYTEC together with our Belgian distributor OM-Partners for the Monsanto plant in Antwerp. The application was designed to plan and schedule the formulation and bottling of the Roundup product family. Roundup is a Glyphosate … Continue reading

Posted in 1995, 20 Manufacture of Chemicals, 20.2 Manufacture of pesticides and other agrocheminal products, C Manufacturing, CHIP, CP Conference, live application, Scheduling | Leave a comment

Packing Squares into Rectangles


This is is a benchmark problem suggested by Richard Korf. The task is to pack all squares of sizes 1×1 to NxN into the smallest possible rectangle, i.e. into a rectangle with minimal surface. As the problem size increases, this … Continue reading

Posted in 2008, benchmark, CP Conference, Other, puzzle, SICStus Prolog | 3 Comments

Routing and Wavelength Assignment


This is an application from the network design and management domain. In an optical network, traffic demands between nodes are satisfied by finding colored paths from a source to a destination. The number of colors available on each link is … Continue reading

Posted in 2009, 61 Telecommunications, 61.1 Wired Telecommunnications, benchmark, CP Conference, ECLiPSe, J Information and Communications, Network | Leave a comment