2023
From Width-Based Model Checking to Width-Based Automated Theorem Proving
AAAI 2023technical
In the field of parameterized complexity theory, the study of graph width measures has been intimately connected with the development of width-based model checking algorithms for combinatorial properties on graphs. In this work, we introduce a general framework to convert a large class of width-base…