Hansen, Thomas Dueholm, Haim Kaplan et al., ‘SAT’: ‘Faster k-SAT algorithms using biased-PPSZ’, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 2019, pp 578–589.
conference paper · https://doi.org/10.1145/3313276.3316359
Hansen, Thomas Dueholm, Haim Kaplan et al., ‘SAT’: ‘Faster k-SAT algorithms using biased-PPSZ’, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 2019, pp 578–589.
conference paper · https://doi.org/10.1145/3313276.3316359