the proceedings contain 39 papers. the topics discussed include: fixed-template promise model checking problems;improved sample complexity bounds for branch-and-cut;trajectory optimization for safe navigation in marit...
ISBN:
(纸本)9783959772402
the proceedings contain 39 papers. the topics discussed include: fixed-template promise model checking problems;improved sample complexity bounds for branch-and-cut;trajectory optimization for safe navigation in maritime traffic using historical data;acquiring maps of interrelated conjectures on sharp bounds;parallel hybrid best-first search;learning MAX-SAT models from examples using genetic algorithms and knowledge compilation;complexity of minimum-size arc-inconsistency explanations;a constraintprogramming approach to ship refit project scheduling;on redundancy in constraint satisfaction problems;from crossing-free resolution to Max-SAT resolution;isomorphisms between strips problems and sub-problems;solving the constrained single-row facility layout problem with decision diagrams;and computing relaxations for the three-dimensional stable matching problem with cyclic preferences.
this special issue of theory and practice of Logic programming (TPLP) contains the regular papers accepted for presentation at the 33rd internationalconference on Logic programming (ICLP 2017), held in Melbourne, Aus...
详细信息
this special issue of theory and practice of Logic programming (TPLP) contains the regular papers accepted for presentation at the 33rd internationalconference on Logic programming (ICLP 2017), held in Melbourne, Australia from the 28th of August to the 1st of September, 2017. ICLP 2017 was colocated withthe 23rd internationalconference on principles and practice of constraintprogramming (cp 2017) and the 20thinternationalconference on theory and Applications of Satisfiability Testing (SAT 2017). Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.
We describe an optimization application in the context of steel manufacturing, to design and schedule batches for annealing furnaces. Our solution approach uses a two-phase decomposition. the first phase groups togeth...
详细信息
ISBN:
(纸本)9783319661582;9783319661575
We describe an optimization application in the context of steel manufacturing, to design and schedule batches for annealing furnaces. Our solution approach uses a two-phase decomposition. the first phase groups together orders into batches using a mixed-integer linear programming model. the second phase assigns the batches to furnaces and schedules them over time, using constraintprogramming. Our solution has been developed for operational use in two plants of a steel manufacturer in North America.
While Machine Learning (ML) techniques are good at generating data similar to a dataset, they lack the capacity to enforce constraints. On the other hand, any solution to a constraintprogramming (cp) model satisfies ...
详细信息
We describe the design and implementation of a new constraintprogramming solver that can produce an auditable record of what problem was solved and how the solution was reached. As well as a solution, this solver pro...
详细信息
constraintprogramming (cp) is used widely for solving real-world problems. However, designing these models require substantial expertise. In this paper, we tackle this problem by synthesizing models automatically fro...
详细信息
We propose CABSC, a system that performs constraint Acquisition Based on Solution Counting. In order to learn a constraint Satisfaction Problem (CSP), the user provides positive examples and a Meta-CSP, i.e. a model o...
详细信息
Research in constraintprogramming typically focuses on problem solving efficiency. However, the way users conceptualise problems and communicate withconstraintprogramming tools is often sidelined. How humans think ...
详细信息
Dominance breaking is an effective technique to reduce the time for solving constraint optimization problems. Lee and Zhong propose an automatic dominance breaking framework for a class of constraint optimization prob...
详细信息
Ship refit projects require ongoing plan management to adapt to arising work and disruptions. Planners must sequence work activities in the best order possible to complete the project in the shortest time or within a ...
详细信息
暂无评论