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
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
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
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2009
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2011