Author

Q. Van

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

StructHCP: Structure-Aware SAT--CEGAR for the Hamiltonian Cycle Problem

Many exact Hamiltonian-cycle solvers use the same edge-level representation for every input, even when graph structure admits a smaller set of global decisions. We present StructHCP, a SAT--CEGAR pipeline that selects a representation through inexpensive structural recognizers. Specialized searches handle high-degree c...

Q. Van, Tuyen Van Kieu, Khanh Van To · 0 citations