26 citations · 61 across the 12 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.RA2015★ 1 cited
Galois theory for semiclones
Mike Behrisch
We present a Galois theory connecting finitary operations with pairs of finitary relations one of which is contained in the other. The Galois closed sets on both sides are characte…
cs.CC2015★ 6 cited
Minimal Distance of Propositional Models
Mike Behrisch, Miki Hermann, Stefan Mengel +1
We investigate the complexity of three optimization problems in Boolean propositional logic related to information theory: Given a conjunctive formula over a set of relations, find…