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

TOTAL DOCUMENTS

37
(FIVE YEARS 37)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030802226, 9783030802233
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

PyDGGA: Distributed GGA for Automatic Configuration

2021 ◽  
pp. 11-20
Author(s):  
Carlos Ansótegui ◽  
Josep Pon ◽  
Meinolf Sellmann ◽  
Kevin Tierney

Solving Non-uniform Planted and Filtered Random SAT Formulas Greedily

2021 ◽  
pp. 188-206
Author(s):  
Tobias Friedrich ◽  
Frank Neumann ◽  
Ralf Rothenberger ◽  
Andrew M. Sutton

scholarly journals On the Hierarchical Community Structure of Practical Boolean Formulas

2021 ◽  
pp. 359-376
Author(s):  
Chunxiao Li ◽  
Jonathan Chung ◽  
Soham Mukherjee ◽  
Marc Vinyals ◽  
Noah Fleming ◽  
...  
Keyword(s):  
Community Structure ◽  
Boolean Formulas
Load More ...
Sign in / Sign up

Export Citation Format

Share Document