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

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030518240, 9783030518257
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On Weakening Strategies for PB Solvers

2020 ◽  
pp. 322-331
Author(s):  
Daniel Le Berre ◽  
Pierre Marquis ◽  
Romain Wallon

scholarly journals Four Flavors of Entailment

2020 ◽  
pp. 62-71
Author(s):  
Sibylle Möhle ◽  
Roberto Sebastiani ◽  
Armin Biere

scholarly journals Mycielski Graphs and PR Proofs

2020 ◽  
pp. 201-217
Author(s):  
Emre Yolcu ◽  
Xinyu Wu ◽  
Marijn J. H. Heule

scholarly journals On CDCL-Based Proof Systems with the Ordered Decision Strategy

2020 ◽  
pp. 149-165 ◽  
Author(s):  
Nathan Mull ◽  
Shuo Pang ◽  
Alexander Razborov
Keyword(s):  
Decision Strategy ◽  
Proof Systems

scholarly journals Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness

2020 ◽  
pp. 429-446
Author(s):  
Matthias Schlaipfer ◽  
Friedrich Slivovsky ◽  
Georg Weissenbacher ◽  
Florian Zuleger
Load More ...
Sign in / Sign up

Export Citation Format

Share Document