132 search results - page 27 / 27 » Postponing Branching Decisions |
122
Voted
CASES
2007
ACM
15 years 5 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
118
Voted
AI
2000
Springer
15 years 28 days ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....