Abstract Domains in Constraint Programming Thêm Sách Tương Tự

Reliable Implementation of Real Number Algorithms: Theory and Practice Reliable Implementation of Real Number Algorithms: Theory and Practice
Reliable Implementation of Real Number Algorithms: Theory and Practice
2008
Static Analysis Static Analysis
Static Analysis
2007
Recent Advances in Constraints Recent Advances in Constraints
Recent Advances in Constraints
2009
Parallel Scientific Computing in C++ and MPI Parallel Scientific Computing in C++ and MPI
Parallel Scientific Computing in C++ and MPI
2003
Tractability Tractability
Tractability
2014
Mathematical Aspects of Computer and Information Sciences Mathematical Aspects of Computer and Information Sciences
Mathematical Aspects of Computer and Information Sciences
2016
Numerical Simulation in Physics and Engineering Numerical Simulation in Physics and Engineering
Numerical Simulation in Physics and Engineering
2016
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
2011
Concepts of Combinatorial Optimization, Volume 1 Concepts of Combinatorial Optimization, Volume 1
Concepts of Combinatorial Optimization, Volume 1
2012
Computer Science – Theory and Applications Computer Science – Theory and Applications
Computer Science – Theory and Applications
2007
Static Analysis Static Analysis
Static Analysis
2021
Facets of Combinatorial Optimization Facets of Combinatorial Optimization
Facets of Combinatorial Optimization
2013
Computer Algebra in Scientific Computing Computer Algebra in Scientific Computing
Computer Algebra in Scientific Computing
2016
Decision Procedures Decision Procedures
Decision Procedures
2008
Static Analysis Static Analysis
Static Analysis
2011