2020 search results - page 18 / 404 » Speeding up Slicing |
SAT
2007
Springer
14 years 1 months ago
2007
Springer
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
DSRT
2006
IEEE
14 years 1 months ago
2006
IEEE
The vision of grid computing is to make computational power, storage capacity, data and applications available to users as readily as electricity and other utilities. Grid infrast...
SENSYS
2005
ACM
14 years 1 months ago
2005
ACM
CP
2005
Springer
14 years 1 months ago
2005
Springer
Constrained path problems have to do with finding paths in graphs subject to constraints. One way of constraining the graph is by enforcing reachability on nodes. For instance, i...
IEAAIE
2005
Springer
14 years 1 months ago
2005
Springer
