Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable

Szeider, Stefan

doi:10.1016/j.jcss.2004.04.009

by Stefan Szeider

Reference:

Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractableStefan SzeiderJournal of Computer and System Sciences, volume 69, number 4, pages 656-674, 2004.

Bibtex Entry:

@string{jcss="Journal of Computer and System Sciences"}
@Article{Szeider04d,
  author = 	 {Stefan Szeider},
  title = 	 {Minimal unsatisfiable formulas with bounded 
                  clause-variable difference are fixed-parameter tractable},
  journal = 	 JCSS,
  year = 	 {2004},
  volume = 	 {69},
  number = 	 {4},
  pages = 	 {656-674},
  url   = {https://www.ac.tuwien.ac.at/files/pub/szeider-jcss-2004.pdf},
  gsid   =  {https://scholar.google.com/scholar?oi=bibs&hl=en&cites=2555576763922913501},
  doi = {10.1016/j.jcss.2004.04.009},
}