SAT backdoors: Depth beats size
Article in Journal of Computer and System Sciences (June 2024)
The most recent citing publications are shown below. View all 300 publications that cite this research output on Dimensions.
Article in Journal of Computer and System Sciences (June 2024)
Article in Journal of Pure and Applied Algebra (June 2024)
Article in Theoretical Computer Science (May 2024)