Abstract. Modellers would like to automatically translate a declara-tive conceptual model of a co... more Abstract. Modellers would like to automatically translate a declara-tive conceptual model of a constrained combinatorial problem into an efficient design model. However, for efficiency, most solving techniques require a model-specific search strategy, which is inherently ...
Constraint Logic Programming (CLP) is a new class of programming languages combining thedeclarati... more Constraint Logic Programming (CLP) is a new class of programming languages combining thedeclarativity of logic programming with the efficiency of constraint solving. New applicationareas, amongst them many different classes of combinatorial search problems such as scheduling,planning or resource allocation can now be solved, which were intractable for logic programmingso far. The most important advantage that these languages offer is the short developmenttime while exhibiting an efficiency ...
Automatic symmetry detection has received a signican t amount of interest, which has re- sulted i... more Automatic symmetry detection has received a signican t amount of interest, which has re- sulted in a large number of proposed methods. This paper reports on our experiences while im- plementing the approach of (9). In particular, it proposes a modication of the approach to deal with general expressions, discusses the in- sights gained, and gives the results of a
This paper represents an integration of Mixed Integer Programming (MIP) and Constraint Logic Prog... more This paper represents an integration of Mixed Integer Programming (MIP) and Constraint Logic Programming (CLP) which, like MIP, tightens bounds rather than adding constraints during search. The integrated system combines components of the CLP system ECLiPSe 7] and the MIP system CPLEX 5], in which constraints can be handled by either one or both components.
Transportation Research Part C: Emerging Technologies, 2013
ABSTRACT For most airlines, there are numerous policies, agreements and regulations that govern t... more ABSTRACT For most airlines, there are numerous policies, agreements and regulations that govern the workload of airline crew. Although some constraints are formally documented, there are many others based on established practice and tacit understanding. Consequently, the task of developing a formal representation of the constraints that govern the working conditions of an airline’s crew requires extensive time and effort involving interviews with the airline’s crew schedulers and detailed analysis of historical schedules. We have developed a system that infers crew scheduling constraints from historical crew schedules with the assistance of a domain expert. This system implements the ComCon algorithm developed to learn constraints that prescribe the limits of certain aspects of crew schedules. The algorithm induces complex multivariate constraints based on a set of user provided templates that outline the general structure of important constraints. The results of an evaluation conducted with crew schedules from two commercial airlines show that the system is capable of learning the majority of the minimum rest constraints.
Abstract. Modellers would like to automatically translate a declara-tive conceptual model of a co... more Abstract. Modellers would like to automatically translate a declara-tive conceptual model of a constrained combinatorial problem into an efficient design model. However, for efficiency, most solving techniques require a model-specific search strategy, which is inherently ...
Constraint Logic Programming (CLP) is a new class of programming languages combining thedeclarati... more Constraint Logic Programming (CLP) is a new class of programming languages combining thedeclarativity of logic programming with the efficiency of constraint solving. New applicationareas, amongst them many different classes of combinatorial search problems such as scheduling,planning or resource allocation can now be solved, which were intractable for logic programmingso far. The most important advantage that these languages offer is the short developmenttime while exhibiting an efficiency ...
Automatic symmetry detection has received a signican t amount of interest, which has re- sulted i... more Automatic symmetry detection has received a signican t amount of interest, which has re- sulted in a large number of proposed methods. This paper reports on our experiences while im- plementing the approach of (9). In particular, it proposes a modication of the approach to deal with general expressions, discusses the in- sights gained, and gives the results of a
This paper represents an integration of Mixed Integer Programming (MIP) and Constraint Logic Prog... more This paper represents an integration of Mixed Integer Programming (MIP) and Constraint Logic Programming (CLP) which, like MIP, tightens bounds rather than adding constraints during search. The integrated system combines components of the CLP system ECLiPSe 7] and the MIP system CPLEX 5], in which constraints can be handled by either one or both components.
Transportation Research Part C: Emerging Technologies, 2013
ABSTRACT For most airlines, there are numerous policies, agreements and regulations that govern t... more ABSTRACT For most airlines, there are numerous policies, agreements and regulations that govern the workload of airline crew. Although some constraints are formally documented, there are many others based on established practice and tacit understanding. Consequently, the task of developing a formal representation of the constraints that govern the working conditions of an airline’s crew requires extensive time and effort involving interviews with the airline’s crew schedulers and detailed analysis of historical schedules. We have developed a system that infers crew scheduling constraints from historical crew schedules with the assistance of a domain expert. This system implements the ComCon algorithm developed to learn constraints that prescribe the limits of certain aspects of crew schedules. The algorithm induces complex multivariate constraints based on a set of user provided templates that outline the general structure of important constraints. The results of an evaluation conducted with crew schedules from two commercial airlines show that the system is capable of learning the majority of the minimum rest constraints.
Uploads
Papers by M. Wallace