Similar Items: Implicit Resolution
- An implicit function theorem for the stream calculus
- Implicit vs Unfolded Graph Neural Networks
- The Relationship Between Separation Logic and Implicit Dynamic Frames
- Fast Computation of Superquantile-Constrained Optimization Through Implicit Scenario Reduction
- Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory