Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
Darya Yagofarova
Information about the author Darya Yagofarova will soon be added to the site.
Found
1 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
Analysis and Solving SAT and MAX‐SAT Problems Using an L‐partition Approach
2013
In this paper, we study SAT and MAX‐SAT using the integer linear programming...
Papers per page:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers
