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
Computer Aided Verification
2007
Tools and Algorithms for the Construction and Analysis of Systems
2008
Static Analysis
2011
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
Verification, Model Checking, and Abstract Interpretation
2011
Tractability
2014
Theory and Applications of Satisfiability Testing – SAT 2018
2018
Verification, Model Checking, and Abstract Interpretation
2008
Automated Technology for Verification and Analysis
2009