Keywords: رضایت پیشنهاد; Propositional satisfiability; Model counting; Resolution principle; Extension rule;
مقالات ISI رضایت پیشنهاد (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: رضایت پیشنهاد; Supervised machine learning; Performance prediction; Empirical performance models; Response surface models; Highly parameterized algorithms; Propositional satisfiability; Mixed integer programming; Travelling salesperson problem
The Configurable SAT Solver Challenge (CSSC)
Keywords: رضایت پیشنهاد; Propositional satisfiability; Algorithm configuration; Empirical evaluation; Competition;
Automatically improving constraint models in Savile Row
Keywords: رضایت پیشنهاد; Constraint satisfaction; Common subexpression elimination; Modelling; Reformulation; Propositional satisfiability;
Computer-aided proof of Erdős discrepancy properties
Keywords: رضایت پیشنهاد; Erdős discrepancy problem; Computer-aided proof; Propositional satisfiability
On the utility of landmarks in SAT based planning
Keywords: رضایت پیشنهاد; Automated planning; Propositional satisfiability; Constraints; Landmark; Search space pruning
Algorithms for propositional model counting
Keywords: رضایت پیشنهاد; Model counting; Propositional satisfiability; Parameterized algorithms
Another look at graph coloring via propositional satisfiability
Keywords: رضایت پیشنهاد; Graph coloring; Propositional satisfiability; Constraint satisfaction; Symmetry breaking; Independent-set analysis
Random backtracking in backtrack search algorithms for satisfiability
Keywords: رضایت پیشنهاد; Propositional satisfiability; Backtrack search algorithms; Randomization
Conflict-directed A* and its role in model-based embedded systems
Keywords: رضایت پیشنهاد; Constraint optimization with logical constraints; Propositional satisfiability; Conflict and clause learning; Model-based autonomous and embedded systems
An Incremental Algorithm to Check Satisfiability for Bounded Model Checking
Keywords: رضایت پیشنهاد; bounded model checking; propositional satisfiability; conflict-learned clauses; incremental algorithms;