@inproceedings{DBLP:conf/cp/FichteHS20, author = {Fichte, Johannes Klaus and Hecher, Markus and Szeider, Stefan}, title = {A Time Leap Challenge for SAT-Solving}, booktitle = {{CP}}, series = {Lecture Notes in Computer Science}, volume = {12333}, pages = {267--285}, publisher = {Springer}, year = {2020} }