Eyal Bin

Person

Haifa, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Building and reusing solution cache for constraint satisfaction pro...
- Patent number 10,657,180
- Issue date May 19, 2020
- International Business Machines Corporation
- Eyal Bin
- G06 - COMPUTING CALCULATING COUNTING
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
Method and apparatus for post-silicon testing
- Patent number 8,892,386
- Issue date Nov 18, 2014
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Constraint satisfaction problem solving using constraint semantics
- Patent number 8,781,986
- Issue date Jul 15, 2014
- International Business Machines Corporation
- Eyal Bin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Constraint satisfaction problem solver
- Patent number 8,392,348
- Issue date Mar 5, 2013
- International Business Machines Corporation
- Eyal Bin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic test program generation using extended conditional constr...
- Patent number 7,386,521
- Issue date Jun 10, 2008
- Intranational Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
FABRICATING DATA USING CONSTRAINTS TRANSLATED FROM TRAINED MACHINE...
- Publication number 20230186074
- Publication date Jun 15, 2023
- International Business Machines Corporation
- Oleg BLINDER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REALISTIC COUNTERFACTUAL EXPLANATION OF MACHINE LEARNING PREDICTIONS
- Publication number 20230025731
- Publication date Jan 26, 2023
- International Business Machines Corporation
- Michael Vinov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOLVING CONSTRAINT SATISFACTION PROBLEMS COMPRISING VECTORS OF UNKN...
- Publication number 20190235865
- Publication date Aug 1, 2019
- International Business Machines Corporation
- Erez Lev Meir Bilgory
- G06 - COMPUTING CALCULATING COUNTING
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
BUILDING AND REUSING SOLUTION CACHE FOR CONSTRAINT SATISFACTION PRO...
- Publication number 20170124456
- Publication date May 4, 2017
- International Business Machines Corporation
- Eyal Bin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Constraint satisfaction problem solving using constraint semantics
- Publication number 20130117215
- Publication date May 9, 2013
- International Business Machines Corporation
- Eyal Bin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR POST-SILICON TESTING
- Publication number 20130013246
- Publication date Jan 10, 2013
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONSTRAINT SATISFACTION PROBLEM SOLVER
- Publication number 20120054138
- Publication date Mar 1, 2012
- International Business Machines Corporation
- Eyal Bin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC TEST PROGRAM GENERATION USING EXTENDED CONDITIONAL CONSTR...
- Publication number 20090259454
- Publication date Oct 15, 2009
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Simulation System with Guided Backtracking
- Publication number 20080126063
- Publication date May 29, 2008
- Ilan Beer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic test program generation using extended conditional constr...
- Publication number 20060184468
- Publication date Aug 17, 2006
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Building and reusing solution cache for constraint satisfaction pro...

String variables reprsentation in solvers

Method and apparatus for post-silicon testing

Constraint satisfaction problem solving using constraint semantics

Constraint satisfaction problem solver

Automatic test program generation using extended conditional constr...

Patents Applicationslast 30 patents

FABRICATING DATA USING CONSTRAINTS TRANSLATED FROM TRAINED MACHINE...

REALISTIC COUNTERFACTUAL EXPLANATION OF MACHINE LEARNING PREDICTIONS

SOLVING CONSTRAINT SATISFACTION PROBLEMS COMPRISING VECTORS OF UNKN...

STRING VARIABLES REPRSENTATION IN SOLVERS

BUILDING AND REUSING SOLUTION CACHE FOR CONSTRAINT SATISFACTION PRO...

Constraint satisfaction problem solving using constraint semantics

METHOD AND APPARATUS FOR POST-SILICON TESTING

CONSTRAINT SATISFACTION PROBLEM SOLVER

AUTOMATIC TEST PROGRAM GENERATION USING EXTENDED CONDITIONAL CONSTR...

Simulation System with Guided Backtracking

Automatic test program generation using extended conditional constr...