Abstraction, Reformulation, and Approximation More Books Like This

Principles and Practice of Constraint Programming - CP 2010 Principles and Practice of Constraint Programming - CP 2010
Principles and Practice of Constraint Programming - CP 2010
2010
Recent Advances in Constraints Recent Advances in Constraints
Recent Advances in Constraints
2009
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2017
Inductive Logic Programming Inductive Logic Programming
Inductive Logic Programming
2008
Tractability Tractability
Tractability
2014
Integration of Constraint Programming, Artificial Intelligence, and Operations Research Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
2022
SOFSEM 2016: Theory and Practice of Computer Science SOFSEM 2016: Theory and Practice of Computer Science
SOFSEM 2016: Theory and Practice of Computer Science
2016
Handbook of Constraint Programming Handbook of Constraint Programming
Handbook of Constraint Programming
2006
Static Analysis Static Analysis
Static Analysis
2011
SOFSEM 2018: Theory and Practice of Computer Science SOFSEM 2018: Theory and Practice of Computer Science
SOFSEM 2018: Theory and Practice of Computer Science
2018
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2017
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2007
Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
2011
AI 2007: Advances in Artificial Intelligence AI 2007: Advances in Artificial Intelligence
AI 2007: Advances in Artificial Intelligence
2007
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2018