Search Sciweavers | Sciweavers

716 search results - page 2 / 144

» Semilinear Program Feasibility

click to vote

TACAS
2009
Springer

136views Algorithms» more TACAS 2009»

Path Feasibility Analysis for String-Manipulating Programs

14 years 16 days ago

Download research.microsoft.com

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...

Nikolaj Bjørner, Nikolai Tillmann, Andrei V...

claim paper

Read More »

click to vote

ATAL
2005
Springer

87views Intelligent Agents» more ATAL 2005»

Emergent programming feasibility study using self-organizing instruction-agents

13 years 11 months ago

Download www.cs.huji.ac.il

Jean-Pierre Georgé, Marie Pierre Gleizes

claim paper

Read More »

click to vote

COLOGNETWENTE
2007

61views Optimization» more COLOGNETWENTE 2007»

A useful characterization of the feasible region of binary linear programs

13 years 7 months ago

Download www.lix.polytechnique.fr

Leo Liberti

claim paper

Read More »

click to vote

CORR
2010
Springer

71views Education» more CORR 2010»

Rational Convex Programs, Their Feasibility, and the Arrow-Debreu Nash Bargaining Game

13 years 3 months ago

Download www.cc.gatech.edu

Vijay V. Vazirani

claim paper

Read More »

click to vote

DAM
2008

84views more DAM 2008»

The colourful feasibility problem

13 years 5 months ago

Download www.cas.mcmaster.ca

We study a colourful generalization of the linear programming feasibility problem, comparing the algorithms introduced by B

Antoine Deza, Sui Huang, Tamon Stephen, Tamá...

claim paper

Read More »

« Prev « First page 2 / 144 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers