no code implementations • 4 Jul 2023 • Gregor Betz, Vera Chekan, Tamara Mchedlidze
Moreover, for every subset, an instance of the SAT model counting problem has to be solved which is known to be a hard problem in computer science.
Philosophy