Analysis and Solving SAT and MAX-SAT Problems Using an L-partition Approach

Author(s):  
Alexander Kolokolov ◽  
Alexander Adelshin ◽  
Darya Yagofarova
Keyword(s):  
2017 ◽  
Vol 697 ◽  
pp. 58-68
Author(s):  
Takayuki Sakai ◽  
Kazuhisa Seto ◽  
Suguru Tamaki ◽  
Junichi Teruyama
Keyword(s):  

Author(s):  
Sylvain Darras ◽  
Gilles Dequen ◽  
Laure Devendeville ◽  
Chu-Min Li
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document