Small unsatisfiable k-CNFs with bounded literal occurrence

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Tianwei Zhang, Tomáš Peitl, Stefan, Szeider

Journal title: The 27th International Conference on Theory and Applications of Satisfiability Testing

Journal publisher: Dagstuhl Publishing

Published year: 2024

DOI identifier: 10.4230/lipics.sat.2024.31