716 search results - page 2 / 144 » Semilinear Program Feasibility |
94
Voted
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
74
Voted
COLOGNETWENTE
2007
15 years 2 months ago
2007
59
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
86
Voted
DAM
2008
15 years 1 months ago
2008
We study a colourful generalization of the linear programming feasibility problem, comparing the algorithms introduced by B