Generalizations of matched CNF formulas

Szeider, Stefan

by Stefan Szeider

Reference:

Generalizations of matched CNF formulasStefan SzeiderAnn. Math. Artif. Intell., volume 43, number 1-4, pages 223-238, 2005.

Bibtex Entry:

@string{amai="Ann. Math. Artif. Intell."}
@Article{Szeider05,
  author = 	 {Stefan Szeider},
  title = 	 {Generalizations of matched {C}{N}{F} formulas},
  journal = 	 AMAI,
  volume  =      {43},
  number  =      {1-4},
  pages  =       {223-238},
  year =         {2005},
  url   = {https://www.ac.tuwien.ac.at/files/pub/Szeider05.pdf},
  
}