the proceedings contain 115 papers. the topics discussed include: a description logic based ontology language;preference reasoning;symmetry definitions for constraint satisfaction problems;dynamic ordering for asynchr...
详细信息
ISBN:
(纸本)3540292381
the proceedings contain 115 papers. the topics discussed include: a description logic based ontology language;preference reasoning;symmetry definitions for constraint satisfaction problems;dynamic ordering for asynchronous backtracking on DisCSPs;incremental algorithms for local search from existential second-order logic;mind the gaps: a new splitting strategy for consistency techniques;a linear-logic semantics for constraint handling rules;ad-hoc global constraints for life;interval analysis in scheduling;planning and scheduling to minimize tardiness;applying constraintprogramming to rigid body protein docking;generating corrective explanations for interactive constraint satisfaction;and depth-first mini-bucket elimination.
the proceedings contain 59 papers. the topics discussed include: orchestrating satisfiability engines;operations research and constraintprogramming at Google;a constraint seeker: finding and ranking global constraint...
ISBN:
(纸本)9783642237850
the proceedings contain 59 papers. the topics discussed include: orchestrating satisfiability engines;operations research and constraintprogramming at Google;a constraint seeker: finding and ranking global constraints from examples;bin repacking scheduling in virtualized datacenters;optimal carpet cutting;a hybrid approach for solving real-world nurse rostering problems;constraintprogramming for controller synthesis;neuron constraints to model complex real-world problems;an efficient light solver for querying the semantic web;on guaranteeing polynomially bounded search tree size;a framework for decision-based consistencies;tractable triangles;on minimal weighted clones;filtering algorithms for discrete cumulative problems with overloads of resource;revisiting the tree constraint;half reification and flattening;the parameterized complexity of local consistency;and symmetry breaking in numeric constraint problems.
the proceedings contain 63 papers. the topics discussed include: a parametric approach for smaller and better encodings of cardinality constraints;automated symmetry breaking and model selection in conjure;MinSAT vers...
ISBN:
(纸本)9783642406263
the proceedings contain 63 papers. the topics discussed include: a parametric approach for smaller and better encodings of cardinality constraints;automated symmetry breaking and model selection in conjure;MinSAT versus MaxSAT for optimization problems;counting spanning trees to guide search in constrained spanning tree problems;tractable combinations of global constraints;postponing optimization to speed up MAXSAT solving;solving weighted CSPs by successive relaxations;constraint-based program reasoning with heaps and separation;model combinators for hybrid optimization;a simple and effective decomposition for the multidimensional binpacking constraint;maintaining soft arc consistencies in BnB-ADOPT+ during search;solving string constraints: the case for constraintprogramming;blowing holes in various aspects of computational problems, with applications to constraint satisfaction;and focused random walk with configuration checking and break minimum for satisfiability.
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.
the proceedings contain 38 papers. the topics discussed include: solving patience and solitaire games with good old fashioned AI;the complexity of symmetry breaking beyond Lex-Leader;certifying without loss of general...
ISBN:
(纸本)9783959773362
the proceedings contain 38 papers. the topics discussed include: solving patience and solitaire games with good old fashioned AI;the complexity of symmetry breaking beyond Lex-Leader;certifying without loss of generality reasoning in solution-improving maximum satisfiability;ParLS-PBO: a parallel local search solver for pseudo Boolean optimization;deep cooperation of local search and unit propagation techniques;cumulative scheduling with calendars and overtime;pseudo-Boolean reasoning about states and transitions to certify dynamic programming and decision diagram algorithms;anytime weighted model counting with approximation guarantees for probabilistic inference;and a multi-stage proof logging framework to certify the correctness of CP solvers.
the proceedings contain 84 papers. the special focus in this conference is on principles and practice of constraintprogramming. the topics include: Hybrid benders decomposition algorithms in constraint logic programm...
ISBN:
(纸本)3540428631
the proceedings contain 84 papers. the special focus in this conference is on principles and practice of constraintprogramming. the topics include: Hybrid benders decomposition algorithms in constraint logic programming;a hybrid framework integrating mixed integer programming and constraint logic programming;towards stochastic constraintprogramming;global cut framework for removing symmetries;capturing structure with satisfiability;phase transitions and backbones of 3-sat and maximum 3-sat;solving non-binary CSPS using the hidden variable encoding;a filtering algorithm for the stretch constraint;network flow problems in constraintprogramming;pruning for the minimum constraint family and for the number of distinct values constraint family;components for state restoration in tree search;constraint-based verification of client-server protocols;lower bounds for non-binary constraint optimization problems;a general scheme for multiple lower bound computation in constraint optimization;solving disjunctive constraints for interactive graphical applications;non-overlapping constraints between convex polytopes;formal models of heavy-tailed behavior in combinatorial search;in search of a phase transition in the ac-matching problem;a CLP approach to the protein side-chain placement problem;solving constraints over floating-point numbers;optimal pruning in parametric differential equations;an efficient filtering technique combining domain partition and arc consistency;the expressive power of binary linear programming;the traveling tournament problem description and benchmarks;structural constraint-based modeling and reasoning with basic configuration cells;solving Boolean satisfiability using local search guided by unit clause elimination and fast optimal instruction scheduling for single-issue processors with arbitrary latencies.
the proceedings contain 49 papers. the topics discussed include: constraint-directed search in computational finance and economics;constraints, graphs, algebra, logic, and complexity;testing expressibility is hard;app...
ISBN:
(纸本)364215395X
the proceedings contain 49 papers. the topics discussed include: constraint-directed search in computational finance and economics;constraints, graphs, algebra, logic, and complexity;testing expressibility is hard;applying constraintprogramming to identification and assignment of service professionals;computing the density of states of Boolean formulas;towards parallel non serial dynamic programming for solving hard weighted CSP;making adaptive an interval constraint propagation algorithm exploiting monotonicity;checking-up on branch-and-check;spatial, temporal, and hybrid decompositions for large-scale vehicle routing with time windows;propagating the bin packing constraint using linear programming;sweeping with continuous domains;a new hybrid tractable class of soft constraint problems;a propagator for maximum weight string alignment with arbitrary pairwise dependencies;and generating special-purpose stateless propagators for arbitrary constraints.
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.
the proceedings contain 66 papers. the topics discussed include: caching in backtracking search;of mousetraps and men: a cautionary tale;estimation of the minimal duration of an attitude change for an autonomous agile...
详细信息
ISBN:
(纸本)3540749691
the proceedings contain 66 papers. the topics discussed include: caching in backtracking search;of mousetraps and men: a cautionary tale;estimation of the minimal duration of an attitude change for an autonomous agile Earth-observing satellite;solving an air conditioning system problem in an embodiment design context using constraint satisfaction techniques;solving the salinity control problem in a potable water system;exploring different constraint-based modelings for program verification;an application of constraintprogramming to generating detailed operations schedules for steel manufacturing;an efficient model and strategy for the steel mill slab design problem;scheduling for cellular manufacturing;a constrained store based on multivalued decision diagrams;solution directed backjumping for QCSP;and local symmetry breaking during search in CSPs.
the proceedings contain 44 papers. the special focus in this conference is on internationalconference on principles and practice of constraintprogramming. the topics include: Generic constraint-Based Block Modeling ...
ISBN:
(纸本)9783030300470
the proceedings contain 44 papers. the special focus in this conference is on internationalconference on principles and practice of constraintprogramming. the topics include: Generic constraint-Based Block Modeling Using constraintprogramming;on Symbolic Approaches for Computing the Matrix Permanent;solverCheck: Declarative Testing of constraints;preface;Industrial Size Job Shop Scheduling Tackled by Present Day CP Solvers;Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics;logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem;Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience;peak-Hour Rail Demand Shifting with Discrete Optimisation;Towards Robust Scenarios of Spatio-Temporal Renewable Energy Planning: A GIS-RO Approach;structure-Driven Multiple constraint Acquisition;exploiting Counterfactuals for Scalable Stochastic Optimization;reward Potentials for Planning with Learned Neural Network Transition Models;differential Privacy of Hierarchical Census Data: An Optimization Approach;modeling Pattern Set Mining Using Boolean Circuits;lemma Synthesis for Automating Induction over Algebraic Data Types;A Cube Distribution Approach to QBF Solving and Certificate Minimization;reducing Bias in Preference Aggregation for Multiagent Soft constraint Problems;An Improved GPU-Based SAT Model Counter;decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment Problems;scheduling of Mobile Robots Using constraintprogramming;constraintprogramming-Based Job Dispatching for Modern HPC Applications;models for Radiation therapy Patient Scheduling;compiling Conditional constraints;automatic Streamlining for Constrained Optimisation;understanding the Empirical Hardness of Random Optimisation Problems;Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean constraints;Integration of Structural constraints into TSP Mo
暂无评论