Bert Randerath, Ewald Speckenmeyer, Endre Boros, Peter L. Hammer, Alexander Kogan, Kazuhisa Makino, Bruno Simeone, Ondrej Cepek
A Satisfiability Formulation of Problems on Level Graphs
ICST, 2001.
@article{SAT-2001-RanderathSBHKMSC,
author = "Bert Randerath and Ewald Speckenmeyer and Endre Boros and Peter L. Hammer and Alexander Kogan and Kazuhisa Makino and Bruno Simeone and Ondrej Cepek",
doi = "10.1016/S1571-0653(04)00327-0",
journal = "{Electronic Notes in Discrete Mathematics}",
pages = "269--277",
title = "{A Satisfiability Formulation of Problems on Level Graphs}",
volume = 9,
year = 2001,
}