2266 search results - page 336 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
133
click to vote
ACSD
2004
IEEE
15 years 7 months ago
2004
IEEE
The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling edges of...
141
click to vote
TCS
2010
15 years 2 months ago
2010
Abstract. We study a general class of non-cooperative games coming from combinatorial covering and facility location problems. A game for k players is based on an integer programmi...
129
click to vote
SIGECOM
2005
ACM
15 years 9 months ago
2005
ACM
This paper initiates research on the foundations of ranking systems, a fundamental ingredient of basic e-commerce and Internet Technologies. In order to understand the essence and...
108
Voted
SIAMJO
2008
15 years 3 months ago
2008
This paper presents a parameter-free integer-programming based algorithm for the global resolution of a linear program with linear complementarity constraints (LPCC). The cornersto...
167
click to vote
COMPGEOM
2004
ACM
15 years 9 months ago
2004
ACM
A frequently arising problem in computational geometry is when a physical structure, such as an ad-hoc wireless sensor network or a protein backbone, can measure local information...