Bit-Vector Optimization
No abstract available.
Related papers
- Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies ECOOP 2002
- A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests ECOOP 2001
- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) TACAS 2021
- An improved bound for call strings based interprocedural analysis of bit vector frameworks TOPLAS 2007
- Bit-Vector Rewriting with Automatic Rule Generation CAV 2014
- Approximating Predicate Images for Bit-Vector Logic TACAS 2006
- Fast Three-Valued Abstract Bit-Vector Arithmetic VMCAI 2022
- A Decision Procedure for Bit-Vectors and Arrays CAV 2007