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