Tools and Algorithms for the Construction and Analysis of Systems: 25th Internat
68,59 €
SAT and SMT. - Decomposing Farkas Interpolants. - Parallel SAT Simplification on GPU Architectures. - Building Better Bit-Blasting for Floating-Point Problems. - The Axiom Profiler: Understanding and Debugging SMT Quantifier Instantiations.
Jetzt bei Ebay:
