the proceedings contain 126 papers. the special focus in this conference is on principles and practice of constraintprogramming. the topics include: Recent progress in propositional reasoning and search;a new applica...
ISBN:
(纸本)3540202021
the proceedings contain 126 papers. the special focus in this conference is on principles and practice of constraintprogramming. the topics include: Recent progress in propositional reasoning and search;a new application area for search algorithms;languages versus packages for constraint problem solving;constraint patterns;control abstractions for local search;improved algorithms for counting solutions in constraint satisfaction problems;boosting chaff’s performance by incorporating CSP heuristics;efficient CNF encoding of boolean cardinality constraints;a two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows;solving finite domain constraint hierarchies by local consistency and tree search;a constraintprogramming application to staff scheduling in health care;constraint-based optimization withthe minimax decision criterion;an algebraic approach to multi-sorted constraints;polynomial-time algorithms;box constraint collections for adhoc constraints;propagation redundancy in redundant modelling;complexity and multimorphisms;constraint satisfaction differential problems;a wealth of sat distributions with planted assignments;redundant modeling for the quasigroup completion problem;open constraint optimization;constraints for breaking more row and column symmetries;generic SBDD using computational group theory;using stochastic local search to solve quantified boolean formulae;solving max-SAT as weighted CSP;constraint reasoning over strings;tractability by approximating constraint languages;constraints for probabilistic reasoning in logic programming;constraintprogramming for modelling and solving modal satisfiability;distributed forward checking and a new class of binary CSPs for which arc-consistency is a decision procedure.
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.
暂无评论