Similar Items: Model Checking Lower Bounds for Simple Graphs
- Linear Encodings of Bounded LTL Model Checking
- Consistency of circuit lower bounds with bounded theories
- FO Model Checking of Interval Graphs
- Bounded Quantifier Instantiation for Checking Inductive Invariants
- On the consistency of stronger lower bounds for NEXP
- On the Natural Gradient of the Evidence Lower Bound