Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure المزيد من الكتب المشابهة

SAT 2005

٢٠٠٧

Theory and Application of Satisfiability Testing

٢٠١١

Abstraction, Reformulation, and Approximation

٢٠٠٧

Computer Aided Verification

٢٠٠٧

Tools and Algorithms for the Construction and Analysis of Systems

٢٠٠٨

Static Analysis

٢٠١١

Recent Advances in Constraints

٢٠٠٧

Principles and Practice of Constraint Programming - CP 2010

٢٠١٠

Computer Aided Verification

٢٠٠٨

Computer Aided Verification

٢٠١٥

Tools and Algorithms for the Construction and Analysis of Systems

٢٠٠٩

Automated Technology for Verification and Analysis

٢٠١٧

Computer Aided Verification

٢٠١٠

Verification, Model Checking, and Abstract Interpretation

٢٠١١

Tractability

٢٠١٤