Increasing Tree Search Efficiency for Constraint Satisfaction Problems

No abstract is available for this paper.

• Publication year

  1979

• Venue

  Artificial Intelligence

• Publication date

  1979-08-20

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1016/0004-3702(80)90051-X
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Relational consistency algorithms and their application in finding subgraph and graph isomorphisms

  1979cited by this paper
• Performance measurement and analysis of certain search algorithms.

  1979cited by this paper
• The Consistent Labeling Problem: Part I

  1979cited by this paper
• Reduction operations for constraint satisfaction

  1978influential reference
• A General Backtrack Algorithm That Eliminates Most Redundant Tests

  1977influential reference
• Consistency in Networks of Relations

  1977cited by this paper
• Scene Labeling by Relaxation Operations

  1976influential reference
• MSYS: A System for Reasoning About Scenes.

  1975cited by this paper
• A Proof Procedure Using Connection Graphs

  1975cited by this paper
• Estimating the efficiency of backtrack programs.

  1974cited by this paper
• Networks of constraints: Fundamental properties and applications to picture processing

  1974cited by this paper
• Generating Semantic Descriptions From Drawings of Scenes With Shadows

  1972cited by this paper
• Associating Parts of Patterns

  1966influential reference
• Received

  1868cited by this paper

• The arc chromatic number for Galois projective planes, affine planes and Euclidean grids

  2026cites this paper
• Implicitly Parallel Neuromorphic Solver Design for Constraint Satisfaction Problems

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

  2025cites this paper
• Decoupling Geometry from Optimization in 2D Irregular Cutting and Packing Problems: an Open-Source Collision Detection Engine

  2025cites this paper
• Optimizing Subject Planning in University Curriculum via the Genetic Algorithm: An Evaluation Study

  2025cites this paper
• A parallel branch-and-bound-and-prune algorithm for irregular strip packing with discrete rotations

  2025cites this paper
• Solving N-Queen Problem using Las Vegas Algorithm with State Pruning

  2025cites this paper
• Physics-Based Novel Task Generation Through Disrupting and Constructing Causal Interactions

  2025cites this paper
• Selecting Search Strategy in Constraint Solvers using Bayesian Optimization

  2024cites this paper
• A Neurosymbolic Fast and Slow Architecture for Graph Coloring

  2024cites this paper
• DoraemonGPT: Toward Understanding Dynamic Scenes with Large Language Models

  2024cites this paper
• Literature Review on Constraint Satisfaction Problems Solving

  2024cites this paper
• Black-Box Value Heuristics for Solving Optimization Problems with Constraint Programming (Short Paper)

  2024cites this paper
• BalMCTS: Balancing Objective Function and Search Nodes in MCTS for Constraint Optimization Problems

  2023cites this paper
• Programmation Par Contraintes

  2023cites this paper
• Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching

  2023cites this paper
• Modified dynamic programming for asteroids belt exploration

  2023cites this paper
• Guiding Backtrack Search by Tracking Variables During Constraint Propagation

  2023cites this paper
• Truck driver scheduling with interdependent routes and working time constraints

  2022cites this paper
• Enhancing Constraint Programming via Supervised Learning for Job Shop Scheduling

  2022cites this paper
• A Portfolio-Based Approach to Select Efficient Variable Ordering Heuristics for Constraint Satisfaction Problems

  2022cites this paper
• E(cid:14)cient Methods for Qualitative Spatial Reasoning

  2022cites this paper
• Heuristics for MDD Propagation in HADDOCK

  2022cites this paper
• Dynamic pipelining for the loosely-coupled distributed constraint satisfaction problems

  2022cites this paper
• Choco-solver: A Java library for constraint programming

  2022cites this paper
• Optimizing the wiring sequence based on a Constraint Satisfaction Problem for robot-based manufacturing of solderless wrapped connections

  2022cites this paper
• Proceedings of the 2022 XCSP3 Competition

  2022cites this paper
• Comparing Optimization Methods for Radiation Therapy Patient Scheduling using Different Objectives

  2022cites this paper
• Demystifying the Vulnerability Propagation and Its Evolution via Dependency Trees in the NPM Ecosystem

  2022cites this paper
• Which rectangle sets have perfect packings?

  2022cites this paper
• Resolution methods for constraint satisfaction problem in remote sensing field: A survey of static and dynamic algorithms

  2022cites this paper
• Online learning of variable ordering heuristics for constraint optimisation problems

  2022cites this paper
• Lazy Rearrangement Planning in Confined Spaces

  2022cites this paper
• Conflict history based heuristic for constraint satisfaction problem solving

  2021cites this paper
• Failure Based Variable Ordering Heuristics for Solving CSPs (Short Paper)

  2021influential citation
• A k-Opt Based Constraint for the TSP

  2021cites this paper
• Adaptive constraint propagation in constraint satisfaction: review and evaluation

  2021cites this paper
• A Profile-Based 'GrEvolutionary' Hearthstone Agent

  2021cites this paper
• A new branch-and-filter exact algorithm for binary constraint satisfaction problems

  2021cites this paper
• Tables segmentées : un outil de modélisation efficace pour le raisonnement par contraintes

  2021cites this paper
• A Linear Time Algorithm for the k-Cutset Constraint

  2021cites this paper
• Automated Algorithm and Mechanism Configuration

  2021cites this paper
• Graph Isomorphism

  2021cites this paper
• Looking For Novelty in Search-Based Software Product Line Testing

  2021cites this paper
• First-order logic as a constraint satisfaction problem

  2021cites this paper
• Summary of a Citywide Meal Planning Service for Kids Based on Logic Programming

  2021cites this paper
• Perturbation des heuristiques de branchement dans la résolution de contraintes ∗

  2021cites this paper
• Raffiner l’heuristique CHS à l’aide de bandits ∗†

  2021cites this paper
• Online Learning of Deeper Variable Ordering Heuristics for Constraint Optimisation Problems

  2021cites this paper
• Planning the Coverage of Solar System Bodies Under Geometric Constraints

  2021cites this paper
• A Study into Ant Colony Optimization, Evolutionary Computation and Constraint Programming on Binary Constraint Satisfaction Problems

  2020cites this paper
• Algorithmic Verification of Constraint Satisfaction Method on Timetable Problem

  2020cites this paper
• Reordering all agents in asynchronous backtracking for distributed constraint satisfaction problems

  2020cites this paper
• Revisiting the efficacy of weak consistencies: a study of forward checking

  2020cites this paper
• HABILITATION À DIRIGER DES RECHERCHES

  2020cites this paper
• Perturbing Branching Heuristics in Constraint Solving

  2020cites this paper
• On the Refinement of Conflict History Search Through Multi-Armed Bandit

  2020cites this paper
• Backtracking and forward checking of human listeriosis clusters identified a multiclonal outbreak linked to Listeria monocytogenes in meat products of a single producer

  2020cites this paper
• NACRE - A Nogood And Clause Reasoning Engine

  2020cites this paper
• Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning

  2020cites this paper
• Bringing freedom in variable choice when searching counter-examples in floating point programs

  2020cites this paper
• On combining variable ordering heuristics for constraint satisfaction problems

  2020cites this paper
• SCHEDULING THE MAPPING OF A PLANET UNDER GEOMETRICAL CONSTRAINTS*

  2020cites this paper
• Recognizing a sketched task model by multi-stroke gesture recognition

  2020cites this paper
• A Hybrid Dynamic Arity Search Heuristic for Constraint Programming

  2020cites this paper
• Scalable and Probabilistically Complete Planning for Robotic Spatial Extrusion

  2020cites this paper
• Parallelization of TSP Solving in CP

  2020cites this paper
• Fast Subgraph Matching Strategies Based on Pattern-Only Heuristics

  2019cites this paper
• NeuroCore: Guiding CDCL with Unsat-Core Predictions

  2019influential citation
• NeuroCore: Guiding High-Performance SAT Solvers with Unsat-Core Predictions

  2019influential citation
• Constraint Reasoning

  2019cites this paper
• Solving Nurse Scheduling Problem Using Constraint Programming Technique

  2019cites this paper
• Understanding the Empirical Hardness of Random Optimisation Problems

  2019cites this paper
• A Comparison of Selected Variable Ordering Methods for NFA Induction

  2019cites this paper
• Hybrid Search Plan Generation for Generalized Graph Pattern Matching

  2019cites this paper
• Guiding High-Performance SAT Solvers with Unsat-Core Predictions

  2019cites this paper
• Disjoint Splitting for Multi-Agent Path Finding with Conflict-Based Search

  2019cites this paper
• The maximum number of columns in supersaturated designs with smax=2

  2019cites this paper
• Conflict history based search for constraint satisfaction problem

  2019cites this paper
• CP and MIP approaches for soccer analysis

  2019cites this paper
• Conception de services pour la mobilité urbaine respectueux des données privées et assurant la sécurité des clients et des véhicules. (Services design for urban mobility respectful of private data and ensuring safety of customers and vehicles)

  2019cites this paper
• NEURAL NETWORKS AND THE SATISFIABILITY PROBLEM A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY

  2019cites this paper
• Conflict-Driven Heuristics for Mixed Integer Programming

  2019cites this paper
• Refining Constraint Weighting

  2019cites this paper
• Parallel Stochastic Portfolio Search for Constraint Solving

  2019cites this paper
• Learning Variable Ordering Heuristics for Solving Constraint Satisfaction Problems

  2019influential citation
• Algorithms for the Satisfiability Problem

  2018cites this paper
• Chapter 9 Parallel Constraint Programming

  2018cites this paper
• Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes. (Search strategies for solving constraint systems over floats for program verification)

  2018cites this paper
• Solution-Based Phase Saving and Large Neighbourhood Search

  2018cites this paper
• Scalable optimization-based Scheduling approaches for HPC facilities

  2018cites this paper
• Higher-Level Consistencies: Where, When, and How Much

  2018cites this paper
• When Subgraph Isomorphism is Really Hard, and Why This Matters for Graph Databases

  2018cites this paper
• Neural Network and Local Search to Solve Binary CSP

  2018cites this paper
• Conflict History Based Branching Heuristic for CSP Solving

  2018cites this paper
• Using conflict and support counts for variable and value ordering in CSPs

  2018influential citation
• Exploring the Impact of Early Decisions in Variable Ordering for Constraint Satisfaction Problems

  2018cites this paper
• On E(s2)‐optimal and minimax‐optimal supersaturated designs with 20 rows and 76 columns

  2018cites this paper
• Parallel Constraint Programming

  2018cites this paper
• Objective as a Feature for Robust Search Strategies

  2018cites this paper