Dealing with 4-variables by resolution: An improved MaxSAT algorithm

标题

作者

关键词

Maximum satisfiability, Parameterized algorithm, Branch and bound, The resolution principle

出版物

Volume 670, Issue -, Pages 33-44

出版商

Elsevier BV

发表日期

2017-02-01

DOI

10.1016/j.tcs.2017.01.020

联系作者

Explore over 25,000 new funding opportunities and over 6,000,000 successful grants.

Explore

Explore over 38,000 international journals covering a vast array of academic fields.