Generalized Arc Consistency for Global Cardinality Constraint

No abstract is available for this paper.

• Publication year

  1996

• Venue

  AAAI/IAAI, Vol. 1

• Publication date

  1996-08-04

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Using Inference to Reduce Arc Consistency Computation

  1995cited by this paper
• A Filtering Algorithm for Constraints of Difference in CSPs

  1994cited by this paper
• Time and resource constrained scheduling : a constraint satisfaction approach

  1994cited by this paper
• Arc-Consistency and Arc-Consistency Again

  1993cited by this paper
• A Generic Arc-Consistency Algorithm and its Specializations

  1992cited by this paper
• The Cardinality Operator: A New Logical Connective for Constraint Logic Programming

  1990cited by this paper
• Good Old Discrete Relaxation

  1988influential reference
• Arc and Path Consistency Revisited

  1986cited by this paper
• Data structures and network algorithms

  1983influential reference
• A Language and a Program for Stating and Solving Combinatorial Problems

  1978cited by this paper
• Consistency in Networks of Relations

  1977influential reference
• Depth-First Search and Linear Graph Algorithms

  1972cited by this paper

• Hyperparameter Optimization of Constraint Programming Solvers

  2026cites this paper
• Efficient Implementation of the Global Cardinality Constraint with Costs

  2025cites this paper
• Modeling constraint-based manufacturing networks: theory, application and best practices

  2025cites this paper
• Cryptarithmetic Playtime

  2025cites this paper
• Modeling Uncertainty: Constraint-Based Belief States in Imperfect-Information Games

  2025cites this paper
• Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation

  2025cites this paper
• Machine Learning and Constraint Programming for Efficient Healthcare Scheduling

  2024cites this paper
• Stagewise Training With Exponentially Growing Training Sets

  2024cites this paper
• Encoding Constraints as Binary Constraint Networks Satisfying BTP

  2024cites this paper
• The Complexity of Symmetry Breaking Beyond Lex-Leader

  2024cites this paper
• Verified Encodings for SAT Solvers

  2023cites this paper
• Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint

  2023cites this paper
• Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization

  2023cites this paper
• A Constraint Satisfaction Problem (CSP) Approach for the Nurse Scheduling Problem

  2022cites this paper
• The Vehicle Routing Problem with Ftl and Ltl Carriers

  2022influential citation
• A MinCumulative Resource Constraint

  2022cites this paper
• CNF Encodings of Binary Constraint Trees

  2022cites this paper
• Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem

  2022cites this paper
• Investigating Constraint Programming and Hybrid Answer-set Solving for Industrial Test Laboratory Scheduling

  2020cites this paper
• Constraint Reductions

  2020cites this paper
• XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems

  2020influential citation
• Hybrid Modeling

  2020cites this paper
• Testing Unsatisfiability of Constraint Satisfaction Problems via Tensor Products

  2020cites this paper
• PYCSP3: Modeling Combinatorial Constrained Problems in Python

  2020influential citation
• A Unified q-Memorization Framework for Asynchronous Stochastic Optimization

  2020cites this paper
• Revisiting Counting Solutions for the Global Cardinality Constraint

  2019influential citation
• Constraint Reasoning

  2019cites this paper
• Intégration d'une fonction de coût à la contrainte Disjunctive utilisée en ordonnancement

  2019influential citation
• The item dependent stockingcost constraint

  2019cites this paper
• The Limited Multi-Label Projection Layer

  2019cites this paper
• This is a repository copy of Generalized support and formal development of constraint

  2019cites this paper
• Estimating the number of solutions on cardinality constraints

  2019cites this paper
• Soft Constraints in MiniBrass: Foundations and Applications

  2019cites this paper
• Soft-Regular with a Prefix-Size Violation Measure

  2018cites this paper
• Constraint Programming Models for Conceptual Clustering: Application to an ERP Configuration Problem. (Modèles de programmation par contraintes pour le clustering conceptuel: application à un problème de configuration d'ERP)

  2018cites this paper
• Discrete optimization over graph problems

  2018cites this paper
• Reasoning about NP-complete Constraints

  2018cites this paper
• CoMe4ACloud: An end-to-end framework for autonomic Cloud systems

  2018cites this paper
• Automatic Discovery and Exploitation of Promising Subproblems for Tabulation

  2018cites this paper
• Compiling CP subproblems to MDDs and d-DNNFs

  2018cites this paper
• Constraint programming for lot-sizing problems

  2018cites this paper
• Conjunctions of Among Constraints

  2017influential citation
• Getting More Out of the Exposed Structure in Constraint Programming Models of Combinatorial Problems

  2017cites this paper
• On Constraint Linear Decompositions Using Mathematical Variables

  2017cites this paper
• Résolution des problèmes (W)CSP et #CSP par approches structurelles: Calcul et exploitation dynamique de décompositions arborescentes. (Solving (W)CSP and #CSP problems by structural approaches: computation and dynamic exploitation of tree decompositions)

  2017cites this paper
• A Constraint-based intrusion detection system

  2017cites this paper
• Some challenges in Game Theory solvable via CP

  2017cites this paper
• Orbital shrinking: Theory and applications

  2017cites this paper
• Compositions et hybridations pour l'optimisation combinatoire appliquée. (Compositions and hybridizations for applied combinatorial optimization)

  2017cites this paper
• Improved filtering for the bin-packing with cardinality constraint

  2017influential citation
• MDDs are Efficient Modeling Tools: An Application to Some Statistical Constraints

  2017cites this paper
• A Protocol-Specific Constraint-Based Intrusion Detection System

  2017cites this paper
• Constraint programming and operations research

  2017cites this paper
• Learning the Parameters of Global Constraints Using Branch-and-Bound

  2017cites this paper
• Contractibility for open global constraints

  2017cites this paper
• Empirical decision model learning

  2017cites this paper
• Filtrage tardif du BIBD : lorsque la procrastination paie

  2017cites this paper
• Stochastic Constraint Programming as Reinforcement Learning

  2017cites this paper
• Domain value mutation and other techniques for constraint satisfaction problems

  2017cites this paper
• Mining Time-constrained Sequential Patterns with Constraint Programming

  2017influential citation
• Automatically improving constraint models in Savile Row

  2017cites this paper
• Using Global Constraints to Automate Regression Testing

  2017cites this paper
• Scheduling double round-robin tournaments with divisional play using constraint programming

  2017cites this paper
• Cardinality constraints and systems of restricted representatives

  2016cites this paper
• The power of propagation: when GAC is enough

  2016cites this paper
• Data Locality on Manycore Architectures. (Optimisation de la Localité des Données sur Architectures Manycœurs)

  2016cites this paper
• XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems

  2016influential citation
• Towards Routing for Autonomous Robots - Using Constraint Programming in an Anytime Path Planner

  2016cites this paper
• Using Constraint Programming for the Urban Transit Crew Rescheduling Problem

  2016cites this paper
• Exploiting machine learning for combinatorial problem solving and optimisation

  2016cites this paper
• A CP-based approach to popular matching

  2016cites this paper
• A Framework for Actionable Clustering Using Constraint Programming

  2016cites this paper
• A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing

  2016influential citation
• Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing

  2016cites this paper
• Popular Matching : A Constraint Programming Approach

  2016influential citation
• Learning Parameters for the Sequence Constraint from Solutions

  2016cites this paper
• Generalized cache tiling for dataflow programs

  2016cites this paper
• Data Locality on Manycore Architectures

  2016cites this paper
• Register allocation and promotion through combined instruction scheduling and loop unrolling

  2016cites this paper
• Code Generation for Custom Architectures using Constraint Programming

  2016cites this paper
• Efficient algorithms to solve scheduling problems with a variety of optimization criteria

  2016cites this paper
• "Model and Run" Constraint Networks with a MILP Engine

  2016cites this paper
• The BIN_COUNTS Constraint: Filtering and Applications

  2016cites this paper
• Automated Regression Testing Using Constraint Programming

  2016cites this paper
• Software Product Line Test Suite Reduction with Constraint Optimization

  2016cites this paper
• Introduction to Combinatorial Optimisation in Numberjack

  2016cites this paper
• CDF-intervals: a probabilistic interval constraint framework to reason about data with uncertainty

  2016cites this paper
• Scheduling and rostering with learning constraint solvers

  2016influential citation
• Extending SMT solvers with support for finite domain alldifferent constraint

  2016cites this paper
• Randomness as a Constraint

  2015cites this paper
• School of Business 9-2007 Length-Lex Open Constraints

  2015cites this paper
• A Comparative Study of MIP and CP Formulations for the B2B Scheduling Optimization Problem

  2015cites this paper
• Search, propagation, and learning in sequencing and scheduling problems

  2015cites this paper
• Structural decompositions for problems with global constraints

  2015cites this paper
• Portfolio approaches in constraint programming

  2015cites this paper
• Integration of AI and OR Techniques in Constraint Programming: 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

  2015cites this paper
• Tractability-preserving transformations of global cost functions

  2015cites this paper
• Generalized support and formal development of constraint propagators

  2015cites this paper
• A Modelling Pearl with Sortedness Constraints

  2015cites this paper
• Generating 1/f Noise Sequences as Constraint Satisfaction: The Voss Constraint

  2015cites this paper