Theory and Applications of Satisfiability Testing - SAT 2007 المزيد من الكتب المشابهة

Facets of Combinatorial Optimization

٢٠١٣

Numerical Analysis and Optimization

٢٠١٥

Principles and Practice of Constraint Programming

٢٠٢٠

Automated Reasoning

٢٠١٨

Automated Reasoning

٢٠١٦

Mathematical Optimization Theory and Operations Research: Recent Trends

٢٠٢٢

Mathematical Optimization Theory and Operations Research: Recent Trends

٢٠٢١

Derivative-Free and Blackbox Optimization

٢٠١٧

Principles and Practice of Constraint Programming

٢٠١٧

Advances in Optimization and Applications

٢٠٢١

Principles and Practice of Constraint Programming

٢٠١٦

Paradigms of Combinatorial Optimization

٢٠١٤

Principles and Practice of Constraint Programming

٢٠١٩

Optimization and Applications

٢٠٢٠

Languages: From Formal to Natural

٢٠٠٩