Symbolic Representation of Upward-Closed Sets
No abstract available.
Related papers
- Toward a Complete Transformational Toolkit for Compilers TOPLAS 1997
- Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks PLDI 2026
- The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer POPL 2009
- SMLP: Symbolic Machine Learning Prover CAV 2024
- Symbolic abstract data type inference POPL 2016
- Convex Hull of Arithmetic Automata SAS 2008
- Semi-symbolic inference for efficient streaming probabilistic programming OOPSLA 2022
- ProbNV: probabilistic verification of network control planes ICFP 2021