8 search results - page 2 / 2 » Oriented Hamiltonian Cycles in Tournaments |
JCT
2000
13 years 6 months ago
2000
AI
2005
Springer
13 years 6 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
WG
2004
Springer
13 years 11 months ago
2004
Springer
It has long been known that the number of spanning trees in circulant graphs with fixed jumps and n nodes satisfies a recurrence relation in n. The proof of this fact was algebra...