Network-based heuristics for constraint-satisfaction problems
From MaRDI portal
Publication:1102137
DOI10.1016/0004-3702(87)90002-6zbMATH Open0643.68156OpenAlexW2061734130MaRDI QIDQ1102137FDOQ1102137
Authors: Rina Dechter, Judea Pearl 
Publication date: 1988
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(87)90002-6
Recommendations
- Network based heuristics for the set covering problem
- scientific article
- scientific article; zbMATH DE number 4049150
- Heuristics for the network design problem with connectivity requirements
- Weight-based heuristics for constraint satisfaction and combinatorial optimization problems
- Heuristics for dynamically adapting propagation in constraint satisfaction problems
- A heuristic algorithm for a network problem with variable upper bounds
- Tree optimization based heuristics and metaheuristics in network construction problems
Cites Work
- Consistency in networks of relations
- A Sufficient Condition for Backtrack-Free Search
- Efficient algorithms for combinatorial problems on graphs with bounded decomposability - a survey
- Nonserial dynamic programming
- Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs
- Title not available (Why is that?)
- Networks of constraints: Fundamental properties and applications to picture processing
- Estimating the Efficiency of Backtrack Programs
- A sufficient condition for backtrack-bounded search
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- Planning in a hierarchy of abstraction spaces
- The average complexity of depth-first search with backtracking and cutoff
- Title not available (Why is that?)
- Intelligent Backtracking in Plan-Based Deduction
- Title not available (Why is that?)
- A method for computing heuristics in problem solving
Cited In (only showing first 100 items - show all)
- Distributed personnel scheduling -- negotiation among scheduling agents
- Constraint propagation techniques for the disjunctive scheduling problem
- On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
- Non-local configuration of component interfaces by constraint satisfaction
- Decomposing a relation into a tree of binary relations
- A logic-based analysis of Dempster-Shafer theory
- Locating the phase transition in binary constraint satisfaction problems
- On some partial line graphs of a hypergraph and the associated matroid
- Local and global relational consistency
- Probability propagation
- An optimal backtrack algorithm for tree-structured constraint satisfaction problems
- Processing disjunctions in temporal constraint networks
- Symbolic techniques in satisfiability solving
- The essence of constraint propagation
- Experimental evaluation of preprocessing algorithms for constraint satisfaction problems
- Asynchronous backtracking without adding links: a new member in the ABT family
- Tractability in constraint satisfaction problems: a survey
- Tradeoffs in the Complexity of Backdoor Detection
- Backtracking algorithms for disjunctions of temporal constraints
- Artificial Intelligence: Methodology, Systems, and Applications
- Learning heuristic functions for large state spaces
- Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination
- Mixed deterministic and probabilistic networks
- Constant-degree graph expansions that preserve treewidth
- Hybrid tractability of valued constraint problems
- Qualitative probabilities for default reasoning, belief revision, and causal modeling
- Tractable constraints on ordered domains
- Topological parameters for time-space tradeoff
- Temporal constraint networks
- A unified theory of structural tractability for constraint satisfaction problems
- An information-based neural approach to constraint satisfaction
- Distributed CSPs by graph partitioning
- A polynomial relational class of binary CSP
- Unifying tree decompositions for reasoning in graphical models
- From local to global consistency
- Constraints, consistency and closure
- Characterising tractable constraints
- Decomposing constraint satisfaction problems using database techniques
- The complexity of constraint satisfaction revisited
- Counting representable sets on simple graphs
- Propositional semantics for disjunctive logic programs
- A comparison of structural CSP decomposition methods
- Interleaving solving and elicitation of constraint satisfaction problems based on expected cost
- Constraint relaxation may be perfect
- A new tractable class of constraint satisfaction problems
- Tractable reasoning via approximation
- A tabu search approach to the constraint satisfaction problem as a general problem solver
- Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search
- High-order consistency in valued constraint satisfaction
- Constraint solving for proof planning
- Integer programs for logic constraint satisfaction
- On computing minimal models
- Partition search for non-binary constraint satisfaction
- Domain permutation reduction for constraint satisfaction problems
- Semiring induced valuation algebras: exact and approximate local computation algorithms
- A general scheme for automatic generation of search heuristics from specification \(dependencies^{*}\)
- Tree clustering for constraint networks
- Linear-programming design and analysis of fast algorithms for Max 2-CSP
- The complexity of reasoning with global constraints
- An optimal coarse-grained arc consistency algorithm
- Improving ABT Performance by Adding Synchronization Points
- Combinatorial problems raised from 2-semilattices
- The job shop scheduling problem: Conventional and new solution techniques
- Constraint Satisfaction
- A canonical form for generalized linear constraints
- Iterative coloring extension of a maximum clique
- Title not available (Why is that?)
- Reduction operations in fuzzy or valued constraint satisfaction
- Weighted heuristic search in networks
- On the hardness of approximate reasoning
- A generic arc-consistency algorithm and its specializations
- Backjump-based backtracking for constraint satisfaction problems
- Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems
- Maintaining reversible DAC for Max-CSP
- Metaheuristics: A bibliography
- A naive algorithm for feedback vertex set
- Constraint reasoning based on interval arithmetic: The tolerance propagation approach
- AND/OR search spaces for graphical models
- Bounded-width QBF is PSPACE-complete
- Constraint solving in uncertain and dynamic environments: A survey
- Structure identification in relational data
- Fuzzy constraint networks for signal pattern recognition
- Compiling constraint satisfaction problems
- Uncovering trees in constraint networks
- Portfolios in stochastic local search: efficiently computing most probable explanations in Bayesian networks
- An algebraic characterization of tractable constraints
- A statistical approach to adaptive problem solving
- From local to global consistency in temporal constraint networks
- Solving the minimum-weighted coloring problem
- Title not available (Why is that?)
- Parallel consistent labeling algorithms
- Some fundamental properties of local constraint propagation
- Title not available (Why is that?)
- A framework for decision support systems of scheduling problems
- A methodology for the reduction of imprecision in the engineering process
- Controlled generation of hard and easy Bayesian networks: Impact on maximal clique size in tree clustering
- Understanding the scalability of Bayesian network inference using clique tree growth curves
- No more ``Partial and ``Full Looking Ahead
- Constraint reasoning
- A non-binary constraint ordering heuristic for constraint satisfaction problems
This page was built for publication: Network-based heuristics for constraint-satisfaction problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1102137)
