Keywords: رضایت مندی نظریه ها; Computational complexity; Satisfiability modulo theories; Fixed-size bit-vectors;
مقالات ISI رضایت مندی نظریه ها (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: رضایت مندی نظریه ها; Deductive program verification; Weakest precondition calculus; Satisfiability modulo theories; Counterexamples;
Keywords: رضایت مندی نظریه ها; Satisfiability modulo theories; Mixed-integer optimization; Generalized disjunctive programming; Mixed logical-linear programming;
Keywords: رضایت مندی نظریه ها; Network collaborative mutation; Network fingerprinting; Satisfiability modulo theories; Mutation collision avoidance; Software-defined network;
Keywords: رضایت مندی نظریه ها; Tree automata; Algorithms; Logic; Satisfiability modulo theories; Formal methods
Keywords: رضایت مندی نظریه ها; SMT; SAT; Satisfiability Modulo Theories; Reification; DPLL; Rational tree unification; Type recovery; Reverse engineering; Difference logic
Keywords: رضایت مندی نظریه ها; (Constraint) answer set programming; Constraint satisfaction processing; Satisfiability modulo theories;
Parallelizing SMT solving: Lazy decomposition and conciliation
Keywords: رضایت مندی نظریه ها; Satisfiability Modulo Theories; Parallelization; Lazy decomposition; Conciliation; Theory of equality with uninterpreted functions;
Formal analysis of XACML policies using SMT
Keywords: رضایت مندی نظریه ها; XACML policy analysis; Logic encoding of policy analysis problems; First-order logic; Satisfiability modulo theories; Experimental evaluation;
Combining ontology reductions with new approaches to automated abstract planning of Planics
Keywords: رضایت مندی نظریه ها; Tool Planics; Service-Oriented Architecture; Web service composition; Genetic algorithms; Satisfiability Modulo Theories; Abstract planning; Hybrid algorithms; Graph databases;
Combining SAT Methods with Non-Clausal Decision Heuristics
Keywords: رضایت مندی نظریه ها; satisfiability modulo theories; Boolean satisfiability; non-clausal; decision heuristics; CVC Lite;