Partition search for non-binary constraint satisfaction
From MaRDI portal
Publication:2372239
DOI10.1016/J.INS.2007.03.030zbMATH Open1119.68446OpenAlexW2067754118MaRDI QIDQ2372239FDOQ2372239
Authors: Julian R. Ullmann 
Publication date: 25 July 2007
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2007.03.030
Recommendations
consistencyconstraint satisfactionBDDpartition searchdecision diagramforward checkingnon-binary constraintsdual searchhash joinmultijoinrandom problemssemijoin reduction
Cites Work
- Graph-Based Algorithms for Boolean Function Manipulation
- An Algorithm for Subgraph Isomorphism
- Consistency in networks of relations
- Title not available (Why is that?)
- Branching Programs and Binary Decision Diagrams
- Network-based heuristics for constraint-satisfaction problems
- Decomposing constraint satisfaction problems using database techniques
- Domain filtering consistencies
- Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs
- Networks of constraints: Fundamental properties and applications to picture processing
- Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
- Mini-buckets: a general scheme for bounded inference
- Backtrack Programming
- Locating the phase transition in binary constraint satisfaction problems
- Random constraint satisfaction: A more accurate picture
- Random constraint satisfaction: Flaws and structure
- On forward checking for non-binary constraint satisfaction.
- An empirical study of phase transitions in binary constraint satisfaction problems
- An overview of backtrack search satisfiability algorithms
- A binary n-gram technique for automatic correction of substitution, deletion, insertion and reversal errors in words
- Title not available (Why is that?)
- Title not available (Why is that?)
- Binary decision diagrams in theory and practice
- A generic arc-consistency algorithm and its specializations
- An average analysis of backtracking on random constraint satisfaction problems
- Using Semi-Joins to Solve Relational Queries
- Reduction operations for constraint satisfaction
- Title not available (Why is that?)
- Maintenance scheduling problems as benchmarks for constraint algorithms
- Relational consistency algorithms and their application in finding subgraph and graph isomorphisms
- Binary vs. non-binary constraints
- Title not available (Why is that?)
- New tractable classes from old
- Associating parts of patterns
- Algorithms for trie compaction
- Computer Architecture for Solving Consistent Labelling Problems
- Analysis of a heuristic for full trie minimization
- Discrete Optimization by Relational Constraint Satisfaction
- Estimating optimal parameters for parallel database hardware
Cited In (17)
- STR3: a path-optimal filtering algorithm for table constraints
- From MDD to BDD and arc consistency
- Optimal and efficient filtering algorithms for table constraints
- Strong local consistency algorithms for table constraints
- STR2: optimized simple tabular reduction for table constraints
- Improving the lower bound of simple tabular reduction
- Title not available (Why is that?)
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
- Constraint reasoning
- Promoting robust black-box solvers through competitions
- Generalized hypertree decomposition for solving non binary CSP with compressed table constraints
- A CP-based automatic tool for instantiating truncated differential characteristics
- Computing and restoring global inverse consistency in interactive constraint satisfaction
- A new method for solving interval and fuzzy equations: linear case
- Partition Crossover for Pseudo-Boolean Optimization
- Efficient algorithms for singleton arc consistency
- Title not available (Why is that?)
This page was built for publication: Partition search for non-binary constraint satisfaction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2372239)
