716 search results - page 2 / 144 » Semilinear Program Feasibility |
149
click to vote
TACAS
2009
Springer
16 years 17 days 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...
108
Voted
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
122
Voted
COLOGNETWENTE
2007
15 years 7 months ago
2007
CORR
2010
Springer
15 years 3 months ago
2010
Springer
135
click to vote
DAM
2008
15 years 5 months ago
2008
We study a colourful generalization of the linear programming feasibility problem, comparing the algorithms introduced by B