Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure More Books Like This
SAT 2005
2007
Theory and Application of Satisfiability Testing
2011
Abstraction, Reformulation, and Approximation
2007
Computer Aided Verification
2007
Tools and Algorithms for the Construction and Analysis of Systems
2008
Static Analysis
2011
Recent Advances in Constraints
2007
Principles and Practice of Constraint Programming - CP 2010
2010
Computer Aided Verification
2008
Computer Aided Verification
2015
Tools and Algorithms for the Construction and Analysis of Systems
2009
Automated Technology for Verification and Analysis
2017
Computer Aided Verification
2010
Verification, Model Checking, and Abstract Interpretation
2011
Tractability
2014