Similar Items: Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
- Capturing the polynomial hierarchy by second-order revised Krom logic
- Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
- CoSim Toolbox - Making HELICS Co-Simulations Easier
- Inclusive language: Easier said than done
- SAT-Inspired Higher-Order Eliminations
- Local Redundancy in SAT: Generalizations of Blocked Clauses