In this paper, we rethink the way Natural Deduction systems are usually used in logic, and adapt them in order to solve the MaxSAT problem. By adapting some existing rules and defining some new ones, the Natural Deduction method can be used to provide an elegant and straightforward solution to maximum satisfiability problems of multisets of Boolean and many-valued clauses.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com