Author name cluster

Tomas Balyo

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

1 paper

1 author row

AAAI Conference 2017 Conference Paper

SAT Competition 2016: Recent Developments

Tomas Balyo
Marijn Heule
Matti Jarvisalo

We give an overview of SAT Competition 2016, the 2016 edition of the famous competition for Boolean satisﬁability (SAT) solvers with over 20 years of history. A key aim is to point out “what’s hot” in SAT competitions in 2016, i. e. , new developments in the competition series, including new competition tracks and new solver techniques implemented in some of the award-winning solvers.

PDF Details