Inproceedings,

Tight Bound on Johnson's Algoritihm for Max-SAT.

, , and .
CCC, page 274-281. IEEE Computer Society, (1997)

Meta data

Tags

Users

  • @dblp

Comments and Reviews