Theory and Applications of Satisfiability Testing – SAT 2016 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer International Publishing

9783319409696, 9783319409702
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Strong Backdoors for Default Logic

2016 ◽  
pp. 45-59 ◽  
Author(s):  
Johannes K. Fichte ◽  
Arne Meier ◽  
Irina Schindler
Keyword(s):  
Default Logic

scholarly journals Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT

2016 ◽  
pp. 212-227 ◽  
Author(s):  
Mathias Soeken ◽  
Alan Mishchenko ◽  
Ana Petkovska ◽  
Baruch Sterin ◽  
Paolo Ienne ◽  
...  

MCS Extraction with Sublinear Oracle Queries

2016 ◽  
pp. 342-360 ◽  
Author(s):  
Carlos Mencía ◽  
Alexey Ignatiev ◽  
Alessandro Previti ◽  
Joao Marques-Silva
Load More ...
Sign in / Sign up

Export Citation Format

Share Document