An analysis of the results of SYNTCOMP 2017, including short descriptions of solvers and benchmarks, has now been published in the proceedings of SYNT 2017.
SYNTCOMP 2017 Analysis Published
Leave a reply
An analysis of the results of SYNTCOMP 2017, including short descriptions of solvers and benchmarks, has now been published in the proceedings of SYNT 2017.