Article ID: | iaor20134017 |
Volume: | 12 |
Issue: | 2 |
Start Page Number: | 201 |
End Page Number: | 212 |
Publication Date: | Jun 2013 |
Journal: | Journal of Mathematical Modelling and Algorithms in Operations Research |
Authors: | Kolokolov Alexander, Adelshin Alexander, Yagofarova Darya |
Keywords: | programming: integer |
In this paper, we study SAT and MAX‐SAT using the integer linear programming models and