1422 search results - page 124 / 285 » Test Generation Algorithms Based on Preorder Relations |
120
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
State-of-the-art automated theorem provers (ATPs) are today able to solve relatively complicated mathematical problems. But as ATPs become stronger and more used by mathematicians...
128
click to vote
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Coverage is an important issue related to WSN quality of service. Several centralized/decentralized solutions based on the geometry information of sensors and under the assumpt...
130
Voted
CIG
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract- The Virus Game (or simply Virus) is a turnbased two player perfect information game which is based on the growth and spread of competing viruses. This paper describes a C...
154
click to vote
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
126
Voted
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—In the real world, many applications are nonstationary optimization problems. This requires that optimization algorithms need to not only find the global optimal soluti...