7 search results - page 2 / 2 » Lazy Clause Generation Reengineered |
CAV
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
CP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...