Cutting the Mix
Abstract elided by the publisher.
Related papers
- IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation APLAS 2025
- Proof Tree Preserving Interpolation TACAS 2013
- Under-Approximating Expected Total Rewards in POMDPs TACAS 2022
- A Short Cut to Optimal Sequences APLAS 2009
- A Fast Cutting-Plane Algorithm for Optimal Coalescing CC 2007
- Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers CAV 2009
- Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts CAV 2017
- Backtracking with cut via a distributive law and left-zero monoids JFP 2017