The following pages link to Tobias Schubert (Q453487):
Displayed 9 items.
- Incremental preprocessing methods for use in BMC (Q453488) (← links)
- Scaling relation for low energy states in a single-slip model in finite crystal plasticity (Q2799055) (← links)
- Accurate Computation of Sensitizable Paths Using Answer Set Programming (Q2851235) (← links)
- Parallel SAT Solving in Bounded Model Checking (Q3069995) (← links)
- Laissez-Faire Caching for Parallel #SAT Solving (Q3453209) (← links)
- Incremental Encoding and Solving of Cardinality Constraints (Q3457805) (← links)
- (Q3639754) (← links)
- (Q5457277) (← links)
- Theory and Applications of Satisfiability Testing (Q5713738) (← links)