Yael Ben-Haim

Follow

Person

Halifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
String variables reprsentation in solvers
- Patent number 10,169,292
- Issue date Jan 1, 2019
- International Business Machines Corporation
- Merav Aharoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Conjunctive normal form encoding of cardinality constraints
- Patent number 8,825,575
- Issue date Sep 2, 2014
- International Business Machines Corporation
- Yael Ben-Haim
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
STRING VARIABLES REPRSENTATION IN SOLVERS
- Publication number 20180314672
- Publication date Nov 1, 2018
- International Business Machines Corporation
- MERAV AHARONI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONJUNCTIVE NORMAL FORM ENCODING OF CARDINALITY CONSTRAINTS
- Publication number 20130325778
- Publication date Dec 5, 2013
- International Business Machines Corporation
- Yael Ben-Haim
- G06 - COMPUTING CALCULATING COUNTING