Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 35 results in range #1 to #35.

Strong Controllability of Disjunctive Temporal Problems with Uncertainty: Label: en
CP-Based Local Branching: Label: en
Groupoids and Conditional Symmetry: Label: en
The Log-Support Encoding of CSP into SAT: Label: en
The Expressive Power of Valued Constraints: Hierarchies and Collapses: Label: en
An Analysis of Slow Convergence in Interval Propagation: Label: en
Solution Counting Algorithms for Constraint-Centered Search Heuristics: Label: en
Filtering for Subgraph Isomorphism: Label: en
Hierarchical Hardness Models for SAT: Label: en
On Universal Restart Strategies for Backtracking Search: Label: en
A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs: Label: en
An LP-Based Heuristic for Optimal Planning: Label: en
Constructive Interval Disjunction: Label: en
Decomposing Global Grammar Constraints: Label: en
Propagation = Lazy Clause Generation: Label: en
AND/OR Multi-valued Decision Diagrams for Constraint Optimization: Label: en
Towards Robust CNF Encodings of Cardinality Constraints: Label: en
Scheduling Conditional Task Graphs: Label: en
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance: Label: en
Path Consistency by Dual Consistency: Label: en
Breaking Symmetry of Interchangeable Variables and Values: Label: en
Valid Inequality Based Lower Bounds for WCSP: Label: en
Dynamic Management of Heuristics for Solving Structured CSPs: Label: en
Limitations of Restricted Branching in Clause Learning: Label: en
MUST: Provide a Finer-Grained Explanation of Unsatisfiability: Label: en
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure: Label: en
Dealing with Incomplete Preferences in Soft Constraint Problems: Label: en
Tradeoffs in the Complexity of Backdoor Detection: Label: en
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming: Label: en
On Inconsistent Clause-Subsets for Max-SAT Solving: Label: en
Encodings of the Sequence Constraint: Label: en
Local Symmetry Breaking During Search in CSPs: Label: en
Solution Directed Backjumping for QCSP: Label: en
GAC Via Unit Propagation: Label: en
Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite: Label: en