TY  - JOUR
AU  - Gramm, J.
AU  - Niedermeier, R.
PY  - 2000/mar/
TI  - Faster exact solutions for Max2Sat
SP  - 174
EP  - 186
VL  - 1767
PB  - Springer
CY  - Rome, Italy
ID  - Gramm00a
ER  -