Re: Hamiltonian Cycles algorithm
- From: "Doni Ocena" <ableofhighheart@xxxxxxxxx>
- Date: 18 Jan 2006 13:26:34 -0800
Hmmm. Try reducing to SAT and running Davis Putnam on it.
-Doni
-it never ends, ..., +it never ends
.
- References:
- Hamiltonian Cycles algorithm
- From: alex05
- Hamiltonian Cycles algorithm
- Prev by Date: Re: Hamiltonian Cycles algorithm
- Next by Date: REMINDER -- FACS/FME Seminar: Formal Methods in the Last 25 Years, 30 January, 5.30pm, London
- Previous by thread: Re: Hamiltonian Cycles algorithm
- Next by thread: Re: Hamiltonian Cycles algorithm
- Index(es):
Relevant Pages
|
