Keywords: رضایت محدود; Constraint satisfaction; Qualitative reasoning; Computational complexity;
مقالات ISI رضایت محدود (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: رضایت محدود; Constraint satisfaction; Minimal CSP; NP-hardness result;
Keywords: رضایت محدود; Building renovation; constraint satisfaction; interactive design; product configuration; decision-support systems;
Keywords: رضایت محدود; Quantified constraints; Counting quantifiers; Constraint satisfaction; Equality language; Computational complexity;
Keywords: رضایت محدود; Economics; Physics and society; Constraint satisfaction; Monte-Carlo; Random network; Convex polytope; Finance;
Keywords: رضایت محدود; Causality; Causal discovery; Graphical models; Time series; Constraint satisfaction; Constraint optimization;
Keywords: رضایت محدود; Constraint satisfaction; Infinite domain; Time complexity;
Keywords: رضایت محدود; nondeterministic finite automata; parallel algorithms; constraint satisfaction
Keywords: رضایت محدود; Coarse-grained molecular modelling; Steric-exclusion; Constraint satisfaction;
Keywords: رضایت محدود; CSP; Constraint satisfaction; Domain reduction; Tractable class; Hybrid tractability; NP-completeness; Global constraints;
Keywords: رضایت محدود; Adaptive operator selection; Adaptive move acceptance; Great deluge; Combinatorial optimisation; Constraint satisfaction; Educational timetabling
Keywords: رضایت محدود; Obstacle avoidance; Set-theoretic approach; Receding horizon control; Constraint satisfaction
Keywords: رضایت محدود; Tournament; Digraph homomorphism; Constraint satisfaction; Complexity dichotomy; Polymorphism;
Keywords: رضایت محدود; Constraint satisfaction; CSP; Tractability; Arc consistency; Forbidden patterns; Neighbourhood substitution
Keywords: رضایت محدود; Exact exponential time algorithms; Constraint satisfaction; Maximum satisfiability
Keywords: رضایت محدود; Workflow; Verification; Complexity; Constraint satisfaction; Temporal consistency
Keywords: رضایت محدود; Fixed-parameter tractability; Kernelization; Constraint satisfaction; Reasoning; Computational complexity
Keywords: رضایت محدود; Disruptive event; Execution control; Supply chain; Constraint satisfaction;
Keywords: رضایت محدود; Workflow Satisfiability Problem; Strong Exponential Time Hypothesis; Fixed-parameter tractable; Constraint satisfaction; Computational complexity
SimGen: A General Simulation Method for Large Systems
Keywords: رضایت محدود; CG; coarse-grained; TM; transmembrane; coarse-grained molecular modelling; macromolecular simulation; constraint satisfaction;
A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming
Keywords: رضایت محدود; Generalized solution concepts; Super solutions; Satisfiability; Constraint satisfaction; Random instances; Probabilistic method; Threshold phenomena;
On planar valued CSPs
Keywords: رضایت محدود; Constraint satisfaction; Planarity; Multimorphisms; Valued constraint satisfaction;
Backdoors into heterogeneous classes of SAT and CSP
Keywords: رضایت محدود; Constraint satisfaction; Satisfiability; Backdoor set; Parameterized complexity;
Circuit satisfiability and constraint satisfaction around Skolem Arithmetic
Keywords: رضایت محدود; Circuit satisfiability; Constraint satisfaction; Skolem Arithmetic; Computational complexity;
Alors: An algorithm recommender system
Keywords: رضایت محدود; Algorithm selection; Constraint satisfaction; Constraint programming; Collaborative filtering; Meta-learning;
Automatically improving constraint models in Savile Row
Keywords: رضایت محدود; Constraint satisfaction; Common subexpression elimination; Modelling; Reformulation; Propositional satisfiability;
Boosting autonomous search for CSPs via skylines
Keywords: رضایت محدود; Combinatorial optimization; Constraint satisfaction; Hyperheuristic; Skyline
On the choice of configuration space for numerical Lie group integration of constrained rigid body systems
Keywords: رضایت محدود; Lie group integration; Rigid body dynamics; Multibody systems; Constraint satisfaction; Screw systems; Munthe-Kaas scheme
A hierarchical CSP search for path planning of cooperating self-reconfigurable mobile fixtures
Keywords: رضایت محدود; Action planning; Active supports; Constraint satisfaction; Hierarchic CSP; Mobile robots; Partial CSP
A hybrid AC3-tabu search algorithm for solving Sudoku puzzles
Keywords: رضایت محدود; Metaheuristics; Tabu search; Constraint satisfaction; Sudoku
Learning vector quantization for variable ordering in constraint satisfaction problems
Keywords: رضایت محدود; Constraint satisfaction; Hyper-heuristics; Learning vector quantization; Variable and value ordering
Datalog and constraint satisfaction with infinite templates
Keywords: رضایت محدود; Logic in computer science; Computational complexity; Constraint satisfaction; Datalog; Countably categorical structures
Qualitative constraint satisfaction problems: An extended framework with landmarks
Keywords: رضایت محدود; Qualitative spatial and temporal reasoning; Qualitative calculi; Constraint satisfaction; Landmarks
A constraint propagation approach to structural model based image segmentation and recognition
Keywords: رضایت محدود; Image interpretation; Constraint satisfaction; Fuzzy set; Structural model
On the intricacy of avoiding multiple-entry arrays
Keywords: رضایت محدود; Latin square; Constraint satisfaction; List-coloring
The complexity of weighted and unweighted #CSP
Keywords: رضایت محدود; Counting; Constraint satisfaction; Complexity theory
A hybrid constraint programming and enumeration approach for solving NHL playoff qualification and elimination problems
Keywords: رضایت محدود; Constraint satisfaction; Network flows; Optimization
The complexity of surjective homomorphism problems—a survey
Keywords: رضایت محدود; Surjective homomorphisms; Computational complexity; Constraint satisfaction
A constraint satisfaction approach to resolving product configuration conflicts
Keywords: رضایت محدود; Product configuration; Constraint satisfaction; Mass customization
Reflexive digraphs with near unanimity polymorphisms
Keywords: رضایت محدود; Reflexive digraphs; Near unanimity; Jónsson; Gumm and totally symmetric idempotent polymorphisms; Constraint satisfaction; (1,2)-consistency checking algorithm
Enumerating homomorphisms
Keywords: رضایت محدود; Enumeration; Computational complexity; Homomorphisms; Constraint satisfaction
Intractability and approximation of optimization theories of cognition
Keywords: رضایت محدود; Computational-level theory; Rational explanation; Computational complexity; Optimization; Approximation; Coherence; Constraint satisfaction; Harmony maximization; NP-hard
Floor plan design using block algebra and constraint satisfaction
Keywords: رضایت محدود; Computer-aided architectural design; Floor plan layout; Relational algebras; Constraint satisfaction; Qualitative and quantitative reasoning
A DNA assembly model of sentence generation
Keywords: رضایت محدود; DNA self-assembly; Constraint satisfaction; Sentence generation; DNA language model
Minesweeper on graphs
Keywords: رضایت محدود; Minesweeper; Counting problem; Consistency; Treewidth; Constraint satisfaction; CSP; Generating polynomials; Dynamic programming
A survey of homogeneous structures
Keywords: رضایت محدود; Omega-categorical; Homogeneous structure; Polish group; Ramsey class; Constraint satisfaction; Oligomorphic group; Permutation group
Path Planning for Lock Entering Maneuvers Using Nonlinear Programming
Keywords: رضایت محدود; path planning; constraint satisfaction; marine systems; model-based control; obstacle avoidance; optimization problems
Multicriteria models for planning power-networking events
Keywords: رضایت محدود; Combinatorial optimization; Constraint satisfaction; Integer programming; Heuristics; Nonprofit commercial organizations
Neuro-fuzzy based constraint programming
Keywords: رضایت محدود; Adaptive neuro-fuzzy inference system; Parametric programming; Constraint satisfaction; Learning; Fuzzy constraints; Monte-Carlo simulation
Automated diagnosis of feature model configurations
Keywords: رضایت محدود; Software product-lines; Configuration; Diagnosis; Constraint satisfaction; Optimization