The following pages link to Peter J. Stuckey (Q264991):
Displaying 7 items.
- A complete solution to the maximum density still life problem (Q1761276) (← links)
- Dominance breaking constraints (Q2342647) (← links)
- A Bit-Vector Solver with Word-Level Propagation (Q2815126) (← links)
- An iterative approach to precondition inference using constrained Horn clauses (Q4559813) (← links)
- Reference Abstract Domains and Applications to String Analysis (Q4637861) (← links)
- Solving Difference Constraints over Modular Arithmetic (Q4928440) (← links)
- Failure tabled constraint logic programming by interpolation (Q5398297) (← links)
