Keywords: حداکثر رضایت; Boolean optimization; Boolean satisfiability; Maximum satisfiability; Correlation clustering; Cost-optimal clustering; Constrained clustering;
مقالات ISI حداکثر رضایت (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: حداکثر رضایت; Exact exponential time algorithms; Constraint satisfaction; Maximum satisfiability
Dealing with 4-variables by resolution: An improved MaxSAT algorithm
Keywords: حداکثر رضایت; Maximum satisfiability; Parameterized algorithm; Branch and bound; The resolution principle;
Improved exact algorithms for mildly sparse instances of Max SAT
Keywords: حداکثر رضایت; Maximum satisfiability; Weighted; Polynomial space; Exponential space;
Approximating MAX SAT by moderately exponential and parameterized algorithms
Keywords: حداکثر رضایت; Maximum satisfiability; Exponential time algorithms; Approximation algorithms
Resolution procedures for multiple-valued optimization
Keywords: حداکثر رضایت; Multiple-valued logics; Signed logic; Resolution; Optimization; Maximum satisfiability
The parameterized complexity of kk-flip local search for SAT and MAX SAT
Keywords: حداکثر رضایت; Parameterized complexity; Local search; Maximum satisfiability
Differential approximation of min sat, max sat and related problems
Keywords: حداکثر رضایت; NP-hard optimization problems; Polynomial approximation; Differential approximation; Satisfiability; Minimum satisfiability; Maximum satisfiability;
Maximum satisfiability: How good are tabu search and plateau moves in the worst-case?
Keywords: حداکثر رضایت; Maximum satisfiability; Tabu search; Local search; Worst-case analysis;