92 search results - page 8 / 19 » cp 2007 |
COMBINATORICA
2007
14 years 9 months ago
2007
A complete partition of a graph G is a partition of its vertex set in which any two distinct classes are connected by an edge. Let cp(G) denote the maximum number of classes in a ...
BMCBI
2007
14 years 9 months ago
2007
Background: The lysine, threonine, and methionine biosynthetic pathways share the three initial enzymatic steps, which are referred to as the Common Pathway (CP). In Escherichia c...
CP
2007
Springer
15 years 3 months ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...
FECS
2007
14 years 11 months ago
2007
In this paper, we discuss the design and engineering of the C-P30, a custom robot design at Cal Poly State University, San Luis Obispo. This robot is designed by undergraduate com...
CP
2007
Springer
15 years 3 months ago
2007
Springer
It is known that Constraint Satisfaction Problems (CSP) can be converted into Boolean Satisfiability problems (SAT); however how to encode a CSP into a SAT problem such that a SAT...