Sciweavers

949 search results - page 6 / 190
» Theory of Constraints
Sort
View
69
Voted
SCHOLARPEDIA
2010
56views more  SCHOLARPEDIA 2010»
14 years 10 months ago
Theory of Constraints
John Blackstone
89
Voted
CADE
2004
Springer
16 years 22 days ago
Decision Procedures for Recursive Data Structures with Integer Constraints
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
Ting Zhang, Henny B. Sipma, Zohar Manna