A New Hypergraph Measure for #SAT

Florent Capelli

CRIL, Université d’Artois

Dagstuhl Seminar 24421

October 17, 2024

Loosely based on Direct Access for Conjunctive Queries with Negation with Oliver Irwin, ICDT 24

1 / 24
A New Hypergraph Measure for #SAT Florent Capelli CRIL, Université d’Artois Dagstuhl Seminar 24421 October 17, 2024 Loosely based on Direct Access for Conjunctive Queries with Negation with Oliver Irwin, ICDT 24