The papers cover the 2018 editions of SAT Competitions and MaxSAT Evaluations, the two main competitive events in their respective areas. The articles report on the 2018 of the respective main solver ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback