Publisher
Springer Nature Switzerland
Reference29 articles.
1. Lecture Notes in Computer Science;C Ansótegui,2009
2. Ansótegui, C., Bonet, M.L., Levy, J.: Towards industrial-like random SAT instances. In: IJCAI, vol. 9, pp. 387–392 (2009)
3. Lecture Notes in Computer Science;A Balint,2010
4. Lecture Notes in Computer Science();T Bläsius,2019
5. Boros, E., Crama, Y., Rodriquez-Heck, E.: Compact quadratizations for pseudo-Boolean functions. J. Comb. Optim. 39, 687–707 (2020)