公开(公告)号：US20130325778A1

公开(公告)日：2013-12-05

申请号：US13487279

申请日：2012-06-04

申请人： Yael Ben-Haim ,  Alexander Ivrii ,  Arie Matsliah ,  Oded Margalit

发明人： Yael Ben-Haim ,  Alexander Ivrii ,  Arie Matsliah ,  Oded Margalit

IPC分类号： G06N5/00

CPC分类号： G06N5/02 ,  G06N5/00

摘要： 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.

摘要翻译： 用于编码结合正常形式（CNF）中的基数约束的方法，装置和产品。 该方法包括：具有包括基数约束的布尔公式，其中与一组布尔变量相关的基数约束，由N个变量组成的变量集合，以非结合正则形式给出的基数约束; 并且基于完美哈希族的映射来编码结合正态形式中的基数约束，由此修改所述存储器以保留CNF编码的基数约束。

公开(公告)号：US08825575B2

公开(公告)日：2014-09-02

申请号：US13487279

申请日：2012-06-04

申请人： Yael Ben-Haim ,  Alexander Ivrii ,  Arie Matsliah ,  Oded Margalit

发明人： Yael Ben-Haim ,  Alexander Ivrii ,  Arie Matsliah ,  Oded Margalit

IPC分类号： G06N5/00 ,  G06N5/02

CPC分类号： G06N5/02 ,  G06N5/00

摘要： 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.

摘要翻译： 用于编码结合正常形式（CNF）中的基数约束的方法，装置和产品。 该方法包括：具有包括基数约束的布尔公式，其中与一组布尔变量相关的基数约束，由N个变量组成的变量集合，以非结合正则形式给出的基数约束; 并且基于完美哈希族的映射来编码结合正态形式中的基数约束，由此修改所述存储器以保留CNF编码的基数约束。