research
∙
10/05/2020
Balanced incomplete block designs and exact satisfiability
The paper explores the correspondence between balanced incomplete block ...
share
research
∙
12/21/2018
Sub-exponential complexity of regular linear CNF formulas
The study of regular linear conjunctive normal form (LCNF) formulas is o...
research
∙
11/20/2017
XSAT of Linear CNF Formulas
Open questions with respect to the computational complexity of linear CN...
research
∙
11/20/2017
XSAT of Exact Linear CNF Classes
It is shown that l-regularity implies k-uniformity in exact linear CNF f...
research
∙
07/01/2017
