Generalizations of matched CNF formulas

Szeider, Stefan

by Stefan Szeider

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, 5 2002.

Bibtex Entry:

@inProceedings{Szeider02-informal, 
  author = 	 {Stefan Szeider},
  title = 	 {Generalizations of matched {C}{N}{F} formulas},
  year = 	 {2002},
  editor = 	 {John Franco},
  pages =        {292-307},
  month = 	 {5},
  booktitle   =  {Proceedings of the Fifth International 
                  Symposium on the Theory and Applications of
                  Satisfiability Testing (SAT 2002) 
                  Cincinnati, Ohio, USA, May 6-9, 2002},
}