Keywords: مشکل رضایتمندی; Satisfiability Problem; Incremental Satisfiability Problem; 2-SAT; Entail Propositional Problem; Efficient Satisfiability Instances;
مقالات ISI مشکل رضایتمندی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Non existence of some mixed Moore graphs of diameter 2 using SAT
Keywords: مشکل رضایتمندی; Moore bound; Mixed Moore graph; Directed strongly regular graph; Satisfiability problem
The asymptotic k-SAT threshold
Keywords: مشکل رضایتمندی; 60C05; 05C80; Phase transitions; Satisfiability problem; Probabilistic combinatorics;
Recognizing 3-colorings cycle-patterns on graphs
Keywords: مشکل رضایتمندی; Graph coloring; 3-Coloring; Satisfiability problem; Recognizing cycle-patterns
Gases Brownian Motion Optimization: an Algorithm for Optimization (GBMO)
Keywords: مشکل رضایتمندی; Brownian Motion; Turbulent Rotational Motion; Evolutionary Algorithm; Optimization Algorithm; Heuristic Search Algorithm; Kinetic Energy; Satisfiability Problem; Multimodal Function; Unimodal Function; Ideal Gas Law
Combining finite learning automata with GSAT for the satisfiability problem
Keywords: مشکل رضایتمندی; Satisfiability problem; Learning automata; GSAT; Random walk; Combinatorial optimization
Theoretical study on mixed parallel execution for solving SAT
Keywords: مشکل رضایتمندی; Satisfiability problem; Neural network; Parallelization
Bipartite bihypergraphs: A survey and new results
Keywords: مشکل رضایتمندی; Bipartite bihypergraphs; Bipartite hypergraphs; k-complete bihypergraphs; Satisfiability problem