Distinguished Papers

Plurality Veto: A Simple Voting Rule Achieving Optimal Metric Distortion

Fatih Kizilkaya ( University of Southern California )  
David Kempe ( University of Southern California )   

QCDCL with Cube Learning or Pure Literal Elimination – What is best?

Benjamin Böhm ( Friedrich Schiller University Jena ) 
Tomas Peitl ( Friedrich-Schiller-Universität Jena )  
Olaf Beyersdorff ( Friedrich Schiller University Jena )  

Completeness and Diversity in Depth-First Proof-Number Search with Applications to Retrosynthesis

Christopher Franz ( Kotaicode GmbH )  
Georg Mogk ( Bayer AG )  
Thomas Mrziglod ( Bayer AG )  
Kevin Schewior ( University of Southern Denmark )