627 search results - page 10 / 126 » Branched Polyhedral Systems |
ECRTS
2004
IEEE
15 years 2 months ago
2004
IEEE
CP
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
72
Voted
CORR
2011
Springer
14 years 2 months ago
2011
Springer
The Macaulay2 package PHCpack.m2 provides an interface to some of the functionality of PHCpack, a general-purpose solver for polynomial systems by homotopy continuation. The main f...
71
Voted
FSTTCS
2009
Springer
15 years 5 months ago
2009
Springer
The covering and boundedness problems for branching vector addition systems are shown complete for doubly-exponential time.
76
Voted
GECCO
2008
Springer
14 years 11 months ago
2008
Springer
In this work a branch prediction system which utilizes evolutionary techniques is introduced. It allows the predictor to adapt to the executed code and thus to improve its perform...