SAT Backdoors: Depth Beats Size (2022)

First Author: Dreier JD

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://doi.org/10.4230/LIPIcs.ESA.2022.46

Type: Conference/Paper/Proceeding/Abstract

Volume: 244