Adelshin Alexander

Alexander Adelshin

Information about the author Alexander Adelshin will soon be added to the site.
Found 1 papers in total
Analysis and Solving SAT and MAX‐SAT Problems Using an L‐partition Approach
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: