The proceedings contain 55 papers. The special focus in this conference is on Technical Track, Application Track, Computational Sustainability Track, cp, Biology Track, Music Track, Preference, Social Choice, Optimiza...
ISBN:
(纸本)9783319449524
The proceedings contain 55 papers. The special focus in this conference is on Technical Track, Application Track, Computational Sustainability Track, cp, Biology Track, Music Track, Preference, Social Choice, Optimization Track, Testing and Verification Track. The topics include: Exploiting short supports for improved encoding of arbitrary constraints into SAT;an adaptive parallel SAT solver;improved linearization of constraintprogramming models;impact of SAT-based preprocessing on core-guided MaxSAT solving;multiobjective optimization by decision diagrams;dependency schemes in QBF calculi;the multirate resource constraint;the dichotomy for conservative constraint satisfaction is polynomially decidable;the vertex cover constraint;extending broken triangles and enhanced value-merging;a bounded path propagator on directed graphs;interval constraints with learning: application to air traffic control;backdoors to tractable valued CSP;monte-carlo tree search for the maximum satisfiability problem;on finding minimum satisfying assignments;towards a dynamic decomposition of CSPs with separators of bounded size;a global constraint for closed frequent pattern mining;parallel strategies selection;learning parameters for the sequence constraint from solutions;explaining producer/consumer constraints;learning from learning solvers;on incremental core-guided MaxSAT solving;an implementation of MIP andcp for interactive soccer queries;solving a supply-delivery scheduling problem with constraintprogramming;availability optimization in cloud-based in-memory data grids;constraining redundancy to improve protein docking;finding alternative musical scales;morphing between stable matching problems;the power of propagation: when GAC is enough and AHP based portfolio selection with risk preference modeling.
The proceedings contain 61 papers. The special focus in this conference is on principles andpractice of constraintprogramming. The topics include: On confluence of constraint handling rules;a labelling arc consisten...
ISBN:
(纸本)3540615512
The proceedings contain 61 papers. The special focus in this conference is on principles andpractice of constraintprogramming. The topics include: On confluence of constraint handling rules;a labelling arc consistency method for functional constraints;constraint satisfaction in optical routing for passive wavelength-routed networks;using CSP look-back techniques to solve exceptionally hard SAT instances;the independence property of a class of set constraints;speeding up constraint propagation by redundant modeling;a constraint-based interactive train rescheduling tool;local search and the number of solutions;derivation of constraints and database relations;an efficient and practical approach to solving the job-shop problem;an instance of adaptive constraint propagation;an empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem;empirical studies of heuristic local search for constraint solving;inference duality as a basis for sensitivity analysis;a framework for solving constraint hierarchies;transformations between HCLP and PCSP;a test for tractability;tractable disjunctions of linear constraints;exploiting the use of DAC in MAX-CSP;a new approach for weighted constraint satisfaction;towards a more efficient stochastic constraint solver;a view of local search in constraintprogramming;from quasi-solutions to solution;existential variables and local consistency in finite domain constraint problems;logical semantics of concurrent constraintprogramming;solving non-binary convex CSPs in continuous domains;an experimental comparison of three modified deltablue algorithms;constraint logic programming over unions of constraint theories and on query languages for linear queries definable with polynomial constraints.
HCLP extend CLP to include constraint hierarchies. We present an algorithm based on our previous work and on the extended notion of comparators for comparisons between the hierarchies that arise from alternate rule ch...
详细信息
In this paper, we propose an extension of the Jaffar-Lassez constraint Logic programming scheme that operates with unions of constraint theories with different signatures and decides the satisfiability of mixed constr...
详细信息
暂无评论