Project

General

Profile

Overview

A lower bound on CNF encodings of the at-most-one constraint.

Members

manager: Petr Kucera

developer: Petr Savick√Ĺ