Search Results for author: Vera Chekan

Found 1 papers, 0 papers with code

Heuristic Algorithms for the Approximation of Mutual Coherence

no code implementations4 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

Cannot find the paper you are looking for? You can Submit a new open access paper.