On Super Strong ETH

Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2019 ◽

10.1007/978-3-030-24258-9_28 ◽

2019 ◽

pp. 406-423

Author(s):

Nikhil Vyas ◽

Ryan Williams

Download Full-text