Similar Items: First Order Logic on Pathwidth Revisited Again
- One is all you need: Second-order Unification without First-order Variables
- Honey, I Shrunk the Hypothesis Space (Through Logical Preprocessing)
- Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
- Experimental Validation of Metaheuristic Optimized Fractional-Order PID Control for a Rotary Inverted Pendulum
- Causal Explanations for Image Classifiers
- Objective Quality Evaluation of Point Clouds: Quality Features and Fusion Metrics