Generalizations of matched CNF formulas (bibtex)
by
Reference:
Generalizations of matched CNF formulasStefan SzeiderProceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing (SAT 2002) Cincinnati, Ohio, USA, May 6-9, 2002 (John Franco, ed.), pages 292-307, May 2002.
Bibtex Entry:
@string{may="May"}
@inProceedings{Szeider02-informal, 
  author = 	 {Stefan Szeider},
  title = 	 {Generalizations of matched {C}{N}{F} formulas},
  year = 	 {2002},
  editor = 	 {John Franco},
  pages =        {292-307},
  month = 	 May,
  booktitle   =  {Proceedings of the Fifth International 
                  Symposium on the Theory and Applications of
                  Satisfiability Testing (SAT 2002) 
                  Cincinnati, Ohio, USA, May 6-9, 2002},
}
Powered by bibtexbrowser