Theory and Applications of Satisfiability Testing - SAT 2007 More Books Like This
Facets of Combinatorial Optimization
2013
Numerical Analysis and Optimization
2015
Principles and Practice of Constraint Programming
2020
Automated Reasoning
2018
Automated Reasoning
2016
Mathematical Optimization Theory and Operations Research: Recent Trends
2022
Mathematical Optimization Theory and Operations Research: Recent Trends
2021
Derivative-Free and Blackbox Optimization
2017
Principles and Practice of Constraint Programming
2017
Advances in Optimization and Applications
2021
Principles and Practice of Constraint Programming
2016
Paradigms of Combinatorial Optimization
2014
Principles and Practice of Constraint Programming
2019
Optimization and Applications
2020
Languages: From Formal to Natural
2009