SAT Backdoors: Depth Beats Size (2022)

First Author: Dreier JD
Attributed to:  Next Generation of Algorithms for Mixed Integer Linear Programming (MILP) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

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

Type: Conference/Paper/Proceeding/Abstract

Volume: 244