Pages that link to "Item:Q1231783"

The following pages link to Consistency in networks of relations (Q1231783):

Displaying 50 items.

• Optimization in temporal qualitative constraint networks (Q262133) (← links)
• General game playing with stochastic CSP (Q265712) (← links)
• Portfolio approaches for constraint optimization problems (Q276552) (← links)
• A conservative scheme for parallel interval narrowing (Q294755) (← links)
• Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (Q312490) (← links)
• Modularity-based decompositions for valued CSP (Q353312) (← links)
• Spatial reasoning with rectangular cardinal relations. The convex tractable subalgebra (Q354605) (← links)
• Constraint propagation as information maximization (Q360048) (← links)
• Algorithms for partition of some class of graphs under compaction and vertex-compaction (Q378212) (← links)
• A condensed semantics for qualitative spatial reasoning about oriented straight line segments (Q420800) (← links)
• Qualitative reasoning about relative direction of oriented points (Q420830) (← links)
• \textsc{NeVer}: a tool for artificial neural networks verification (Q421446) (← links)
• STR2: optimized simple tabular reduction for table constraints (Q429802) (← links)
• A survey of constraint-based programming paradigms (Q458465) (← links)
• A hybrid soft computing approach for subset problems (Q474017) (← links)
• New algorithms for bidirectional singleton arc consistency (Q474731) (← links)
• Multiset variable representations and constraint propagation (Q481702) (← links)
• Domain consistency with forbidden values (Q481709) (← links)
• Reverse propagation of McCormick relaxations (Q496587) (← links)
• A constraint propagation approach to structural model based image segmentation and recognition (Q497274) (← links)
• Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure (Q543614) (← links)
• Qualitative simulation (Q578946) (← links)
• Recognition mechanisms for schema-based knowledge representations (Q594605) (← links)
• Dualities and dual pairs in Heyting algebras (Q603889) (← links)
• Redundant modeling in permutation weighted constraint satisfaction problems (Q606896) (← links)
• Qualitative reasoning with directional relations (Q622129) (← links)
• Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
• Parsing as non-Horn deduction (Q688151) (← links)
• \(H\)-coloring degree-bounded (acyclic) digraphs (Q744083) (← links)
• Reduction operations for constraint satisfaction (Q754642) (← links)
• Simulation of hybrid circuits in constraint logic programming (Q805302) (← links)
• Hybrid backtracking bounded by tree-decomposition of constraint networks (Q814455) (← links)
• A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments (Q814484) (← links)
• Fuzzy constraint networks for signal pattern recognition (Q814488) (← links)
• Solving weighted CSP by maintaining arc consistency (Q814626) (← links)
• Non-local configuration of component interfaces by constraint satisfaction (Q823765) (← links)
• Filtering algorithms for the multiset ordering constraint (Q835808) (← links)
• Solving connected row convex constraints by variable elimination (Q840826) (← links)
• Image interpretation with a conceptual graph: labeling over-segmented images and detection of unexpected objects (Q840830) (← links)
• Undirected forest constraints (Q846145) (← links)
• On topological consistency and realization (Q850454) (← links)
• Symmetry breaking constraints for value symmetries in constraint satisfaction (Q850460) (← links)
• The transformational creativity hypothesis (Q867497) (← links)
• On getting rid of the preprocessing minimization step in MUC-finding algorithms (Q903912) (← links)
• Adaptive constructive interval disjunction: algorithms and experiments (Q903916) (← links)
• Decomposing a relation into a tree of binary relations (Q909447) (← links)
• Fuzzy reasoning in a multidimensional space of hypotheses (Q911799) (← links)
• A logic language for combinatorial optimization (Q918429) (← links)
• Comments on Mohr and Henderson's path consistency algorithm (Q921947) (← links)
• The island confinement method for reducing search space in local search methods (Q930151) (← links)