Charles Explorer logo
🇬🇧

Renamable Interval Boolean Functions

Publication at Faculty of Mathematics and Physics |
2006

Abstract

In this paper we study the problem of deciding whether a given DNF represents an interval function and if so then we also want to output the corresponding interval. This result is then extended to a 'renamable' variant of interval functions, i.e. to their variable complementation closure.