The following pages link to Peter Schachte (Q264989):
Displayed 28 items.
- A complete refinement procedure for regular separability of context-free languages (Q264992) (← links)
- Information loss in knowledge compilation: a comparison of Boolean envelopes (Q991010) (← links)
- Precise goal-independent abstract interpretation of constraint logic programs. (Q1395430) (← links)
- Exploiting sparsity in difference-bound matrices (Q1664386) (← links)
- A Benders decomposition approach to deciding modular linear integer arithmetic (Q1680266) (← links)
- Two classes of Boolean functions for dependency analysis (Q1818309) (← links)
- Minimizing landscape resistance for habitat conservation (Q2011583) (← links)
- Algorithm selection for dynamic symbolic execution: a preliminary study (Q2119113) (← links)
- Constraint programming for dynamic symbolic execution of JavaScript (Q2327235) (← links)
- Compiling CP subproblems to MDDs and d-DNNFs (Q2331104) (← links)
- (Q2703757) (← links)
- An Abstract Domain of Uninterpreted Functions (Q2796038) (← links)
- Weighted Spanning Tree Constraint with Explanations (Q2815098) (← links)
- Analyzing Array Manipulating Programs by Program Transformation (Q2949696) (← links)
- Estimating the overlap between dependent computations for automatic parallelization (Q3087446) (← links)
- UN-KLEENE BOOLEAN EQUATION SOLVING (Q3434274) (← links)
- (Q4415101) (← links)
- An iterative approach to precondition inference using constrained Horn clauses (Q4559813) (← links)
- Horn clauses as an intermediate representation for program analysis and transformation (Q4592995) (← links)
- Reference Abstract Domains and Applications to String Analysis (Q4637861) (← links)
- (Q4839036) (← links)
- Solving Difference Constraints over Modular Arithmetic (Q4928440) (← links)
- Unbounded Model-Checking with Interpolation for Regular Language Constraints (Q5326331) (← links)
- Failure tabled constraint logic programming by interpolation (Q5398297) (← links)
- (Q5414587) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898606) (← links)
- Programming Languages and Systems (Q5899019) (← links)
- Transformation-Enabled Precondition Inference (Q6063861) (← links)