Nicola Galesi, Oliver Kullmann
Polynomial Time SAT Decision, Hypergraph Transversals and the Hermitian Rank
SAT, 2004.
@inproceedings{SAT-2004-GalesiK,
author = "Nicola Galesi and Oliver Kullmann",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/42.pdf",
pages = "76--85",
title = "{Polynomial Time SAT Decision, Hypergraph Transversals and the Hermitian Rank}",
year = 2004,
}