Conjunctive normal form encoding of cardinality constraints

Yael Ben-Haim; Alexander Ivrii; Arie Matsliah; Oded Margalit

Conjunctive normal form encoding of cardinality constraints

Yael Ben-Haim (Inventor), Alexander Ivrii (Inventor), Arie Matsliah (Inventor), Oded Margalit (Inventor)

Department of Computer Science

Research output: Patent

Abstract

A method, apparatus and product for encoding a cardinality constraint in Conjunctive Normal Form (CNF). The method comprising: having a Boolean formula comprising a cardinality constraint, wherein the cardinality constraint relating to a set of Boolean variables, the set of variables consisting of N variables, the cardinality constraint given in a non-Conjunctive Normal Form; and encoding the cardinality constraint in Conjunctive Normal Form based on a mapping by a Perfect Hash Family, whereby said memory is modified to retain the CNF encoded cardinality constraint.

Original language	English
State	Published - 1 Sep 2014

Cite this

@misc{d7e6dbfc9a884b59b40ad8eede59eb51,

title = "Conjunctive normal form encoding of cardinality constraints",

abstract = "A method, apparatus and product for encoding a cardinality constraint in Conjunctive Normal Form (CNF). The method comprising: having a Boolean formula comprising a cardinality constraint, wherein the cardinality constraint relating to a set of Boolean variables, the set of variables consisting of N variables, the cardinality constraint given in a non-Conjunctive Normal Form; and encoding the cardinality constraint in Conjunctive Normal Form based on a mapping by a Perfect Hash Family, whereby said memory is modified to retain the CNF encoded cardinality constraint.",

author = "Yael Ben-Haim and Alexander Ivrii and Arie Matsliah and Oded Margalit",

year = "2014",

month = sep,

day = "1",

language = "English",

type = "Patent",

}

TY - PAT

T1 - Conjunctive normal form encoding of cardinality constraints

AU - Ben-Haim, Yael

AU - Ivrii, Alexander

AU - Matsliah, Arie

AU - Margalit, Oded

N1 - US Patent 8,825,575

PY - 2014/9/1

Y1 - 2014/9/1

N2 - A method, apparatus and product for encoding a cardinality constraint in Conjunctive Normal Form (CNF). The method comprising: having a Boolean formula comprising a cardinality constraint, wherein the cardinality constraint relating to a set of Boolean variables, the set of variables consisting of N variables, the cardinality constraint given in a non-Conjunctive Normal Form; and encoding the cardinality constraint in Conjunctive Normal Form based on a mapping by a Perfect Hash Family, whereby said memory is modified to retain the CNF encoded cardinality constraint.

AB - A method, apparatus and product for encoding a cardinality constraint in Conjunctive Normal Form (CNF). The method comprising: having a Boolean formula comprising a cardinality constraint, wherein the cardinality constraint relating to a set of Boolean variables, the set of variables consisting of N variables, the cardinality constraint given in a non-Conjunctive Normal Form; and encoding the cardinality constraint in Conjunctive Normal Form based on a mapping by a Perfect Hash Family, whereby said memory is modified to retain the CNF encoded cardinality constraint.

M3 - Patent

ER -

Conjunctive normal form encoding of cardinality constraints

Abstract

Fingerprint

Cite this