2152 search results - page 1 / 431 » A Comparative Study of 2QBF Algorithms |
SAT
2004
Springer
13 years 10 months ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
WSCG
2001
13 years 6 months ago
2001
In this article we present an algorithm to determine the intersection between rays and triangles based on the idea of the study of signs with respect to triangles. One of the adva...
BMCBI
2010
13 years 4 months ago
2010
Background: Data generated using `omics' technologies are characterized by high dimensionality, where the number of features measured per subject vastly exceeds the number of...
IPPS
1998
IEEE
13 years 9 months ago
1998
IEEE
Parallel genetic algorithms (PGAs) have been developed to reduce the large execution times that are associated with serial genetic algorithms (SGAs). They have also been used to s...
CEC
2007
IEEE
13 years 8 months ago
2007
IEEE
Abstract-- This paper compares three different fitness diversity adaptations in Multimeme Algorithms (MmAs). These diversity indexes have been integrated within a MmA present in li...