Fingerprint
Dive into the research topics of 'Conjunctive normal form encoding of cardinality constraints'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Conjunctive normal form encoding of cardinality constraints
Yael Ben-Haim (Inventor), Alexander Ivrii (Inventor), Arie Matsliah (Inventor), Oded Margalit (Inventor)
Research output: Patent