sentence1: a recent seminal work by abboud et al shows that even an improvement by a sufficiently large polylogarithmic factor for these basic problems would lead to major consequences , such as faster sat algorithms , and new circuit lower bounds .
sentence2: a recent seminal work by abboud et al shows that even an improvement by a sufficiently large polylogarithmic factor for these basic problems , would lead to major consequences , such as faster sat algorithms , and new circuit lower bounds .