Title
A Flexible Proof Format for SAT Solver-Elaborator Communication.
Year
Venue
DocType
2021
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Seulkee Baek100.68
Mario Carneiro202.03
Marijn J. H. Heule302.70