Inventor

BEN-HAIM YAEL

IL2 patents

⚠️ This page may combine multiple inventors who share the name “BEN-HAIM YAEL”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

BEN-HAIM YAEL

1 patent

US8825575B2Sep 2, 2014

Conjunctive normal form encoding of cardinality constraints

BEN-HAIM YAEL0 citations39

IBM

1 patent

US10169292B2Jan 1, 2019

String variables reprsentation in solvers

IBM0 citations30