Approximating Succinct MaxSat (bibtex)
by Christian Schallhart, Luca Trevisan
Reference:
Approximating Succinct MaxSatChristian Schallhart, Luca TrevisanJournal of Logic and Computation (JLC), volume 15, number 4, pages 551-557, 2005.
Bibtex Entry:
@article{schallhart05:_approx_succin_maxsat,
  author = {Christian Schallhart and Luca Trevisan},
  title = {{Approximating Succinct MaxSat}},
  number = {4},
  year = {2005},
  journal = {{Journal of Logic and Computation (JLC)}},
  pages = {551--557},
  volume = {15}
}
Powered by bibtexbrowser