the proceedings contain 97 papers. the special focus in this conference is on principles and practice of constraintprogramming. the topics include: constraints in program analysis and verification;algorithmic adventu...
ISBN:
(纸本)3540232419
the proceedings contain 97 papers. the special focus in this conference is on principles and practice of constraintprogramming. the topics include: constraints in program analysis and verification;algorithmic adventures at the interface of computer science, statistical physics, and combinatorics;challenges for constraintprogramming in networking;consistency and random constraint satisfaction models with a high constraint tightness;statistical regimes across constrainedness regions;unary resource constraint with optional activities;backtrack-free search for real-time constraint satisfaction;deriving filtering algorithms from constraint checkers;leveraging the learning power of examples in automated constraint acquisition;disjoint, partition and intersection constraints for set and multiset variables;decomposition and learning for a hard real time task allocation problem;quantified constraint satisfaction and 2-semilattice polymorphisms;heuristic selection for stochastic search optimization;a complete characterization of complexity for Boolean constraint optimization problems;bounding the resource availability of partially ordered events with constant resource impact;a domain consistency algorithm for the stretch constraint;counting-based look-ahead schemes for constraint satisfaction;completable partial solutions in constraintprogramming and constraint-based scheduling;global constraints for integer and set value precedence;constraint satisfaction in semi-structured data graphs;strategies for global optimization of temporal preferences;propagation guided large neighborhood search;generating robust partial order schedules;improved bound computation in presence of several clique constraints;controllability of soft temporal constraint problems and solving non-clausal formulas with DPLL search.
principles and practice of constraintprogramming--Cp98 : 4thinternationalconference, Cp98, Pisa, Italy, October 26-30, 1998 : Proceedings by Cp98 (1998 : Pisa, Italy); Maher, Michael, 1959-; Puget, Jean-Francois; p...
详细信息
principles and practice of constraintprogramming--Cp98 : 4thinternationalconference, Cp98, Pisa, Italy, October 26-30, 1998 : Proceedings by Cp98 (1998 : Pisa, Italy); Maher, Michael, 1959-; Puget, Jean-Francois; published by Berlin ; New York : Springer
the proceedings contain 54 papers. the topics discussed include: a constraintprogramming approach for allocation and scheduling on the CELL broadband engine;planning and scheduling the operation of a very large oil p...
ISBN:
(纸本)3540859578
the proceedings contain 54 papers. the topics discussed include: a constraintprogramming approach for allocation and scheduling on the CELL broadband engine;planning and scheduling the operation of a very large oil pipeline network;search strategies for rectangle packing;solving a telecommunications feature subscription configuration problem;protein structure prediction with large neighborhood constraintprogramming search;an application of constraintprogramming to superblock instruction scheduling;classes of submodular constraints expressible by graph cuts;optimization of simple tabular reduction of table constraints;cost-based domain filtering for stochastic constraintprogramming;dichotomic search protocols for constrained optimization;a framework for hybrid tractability results in Boolean weighted constraint satisfaction problems;and from high girth graphs to hard instances.
the proceedings contain 46 papers. the topics discussed include: beyond optimal solutions for real-world problems;beyond optimal solutions for real-world problems;coupling CP with deep learning for molecular design an...
ISBN:
(纸本)9783959773003
the proceedings contain 46 papers. the topics discussed include: beyond optimal solutions for real-world problems;beyond optimal solutions for real-world problems;coupling CP with deep learning for molecular design and SARS-CoV2 variants exploration;CP solver design for maximum CPU utilization;optimization of short-term underground mine planning using constraintprogramming;symmetries for cube-and-conquer in finite model finding;guiding backtrack search by tracking variables during constraint propagation;incremental constrained clustering by minimal weighted modification;simplifying step-wise explanation sequences;towards more efficient local search for pseudo-Boolean optimization;boosting decision diagram-based branch-and-bound by pre-solving with aggregate dynamic programming;and fast matrix multiplication without tears: a constraintprogramming approach.
the proceedings contain 57 papers. the topics discussed include: filtering isomorphic models by invariants;unit propagation with stable watches;towards better heuristics for solving bounded model checking problems;int...
ISBN:
(纸本)9783959772112
the proceedings contain 57 papers. the topics discussed include: filtering isomorphic models by invariants;unit propagation with stable watches;towards better heuristics for solving bounded model checking problems;integrating tree decompositions into decision heuristics of propositional model counters;generating magical performances withconstraintprogramming;vehicle dynamics in pickup-and-delivery problems using electric vehicles;building high strength mixed covering arrays withconstraints;on how turing and singleton arc consistency broke the enigma code;combining monte carlo tree search and depth first search methods for a car manufacturing workshop scheduling problem;practical bigraphs via subgraph isomorphism;the hybrid flexible flowshop with transportation times;and an interval constraintprogramming approach for quasi capture tube validation.
the proceedings contain 61 papers. the topics discussed include: global optimization of probabilistically constrained linear programs;algorithms and constraintprogramming;infinite qualitative simulations by means of ...
详细信息
ISBN:
(纸本)3540462678
the proceedings contain 61 papers. the topics discussed include: global optimization of probabilistically constrained linear programs;algorithms and constraintprogramming;infinite qualitative simulations by means of constraintprogramming;graph-properties based filtering;an algebraic characterization of complexity for valued constraints;typed guarded decompositions for constraint satisfaction;the minimum spanning tree constraint;performance prediction and automated tuning of randomized and parametric algorithms;adaptive clause weight redistribution;localization of an underwater robot using interval constraint propagation;approximability of integer programming with generalized constraints;generalized arc consistency for positive table constraints;and stochastic allocation and scheduling for conditional task graphs in MPSoCs.
the proceedings contain 68 papers. the topics discussed include: a modular architecture for hybrid planning withtheories;teaching constraintprogramming;one problem, two structures, six solvers, and ten years of pers...
ISBN:
(纸本)9783319104270
the proceedings contain 68 papers. the topics discussed include: a modular architecture for hybrid planning withtheories;teaching constraintprogramming;one problem, two structures, six solvers, and ten years of personnel scheduling;concurrent constraintprogramming research programs - redux;on broken triangles;a complete solver for constraint games;sequential time splitting and bounds communication for a portfolio of optimization solvers;scoring-based neighborhood dominance for the subgraph isomorphism problem;linking prefixes and suffixes for constraints encoded using automata with accumulators;the propagation depth of local consistency;the balance constraint family;on backdoors to tractable constraint languages;and a new characterization of relevant intervals for energetic reasoning.
the proceedings contain 47 papers. the special focus in this conference is on principles and practice of constraintprogramming. the topics include: Open constraintprogramming;constructing constraints;the dynamics of...
ISBN:
(纸本)3540652248
the proceedings contain 47 papers. the special focus in this conference is on principles and practice of constraintprogramming. the topics include: Open constraintprogramming;constructing constraints;the dynamics of dynamic variable ordering heuristics;on completion of constraint handling rules;error-correcting source code;optimized q-pivot for exact linear solvers;constraint techniques for solving the protein structure prediction problem;global constraints for partials CSPs;using graph decomposition for solving continuous CSPs;anytime lower bounds for constraint violation minimization problems;introducing external functions in constraint query languages;a note on partial consistencies over continuous domains;consistency techniques in ordinary differential equations;suggestion strategies for constraint-based matchmaker agents;combining topological and qualitative size constraints for spatial reasoning;constraint representation for propagation;a unified framework for interval constraints and interval arithmetic;constraint-based problem decomposition for a key configuration problem;fuzzifying the constraint hierarchies framework;constraints for object recognition in aerial images;a language for search algorithms;a tableau based constraint solving toolkit for interactive graphical applications;safe datalog queries with linear constraints;non-systematic search and learning;a generic model and hybrid algorithm for hoist scheduling problems;linear concurrent constraintprogramming over reals;using constraintprogramming and local search methods to solve vehicle routing problems;a polynomial time local propagation algorithm for general dataflow constraint problems and stable solutions for dynamic constraint satisfaction problems.
the proceedings contain 41 papers. the special focus in this conference is on principles and practice of constraintprogramming. the topics include: the rough guide to constraint propagation;non-binary constraints;the...
ISBN:
(纸本)3540666265
the proceedings contain 41 papers. the special focus in this conference is on principles and practice of constraintprogramming. the topics include: the rough guide to constraint propagation;non-binary constraints;the theory of discrete lagrange multipliers for nonlinear discrete optimization;operational equivalence of CHR programs and constraints;automatic generation of constraint propagation algorithms for small finite domains;excluding symmetries in constraint based search;onforward checking for non-binary constraint satisfaction;enforcing arc consistency on global constraints by solving subCSPs on the fly;exploiting bipartiteness to identify yet another tractable subclass of CSP;towards a complete classification of tractability in point algebras for nonlinear time;a meta-heuristic factory for vehicle routing problems;closure functions and width 1 problems;cost-based domain filtering;resource allocation in networks using abstraction and constraint satisfaction techniques;optimal distributed arc-consistency;multistep filtering operators for ordinary differential equations and a framework for constraintprogramming based column generation.
暂无评论