Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
WADS
/
Paper
Dealing with 4-Variables by Resolution: An Improved MaxSAT Algorithm.
Jianer Chen
,
Chao Xu
,
Jianxin Wang
Venue
B
WADS
Year
2015
Proceedings
WADS
DBLP record
conf/wads/Chen0W15 ↗
Browse the full
WADS paper archive
.