Inventor

BIN EYAL

IL7 patents

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

BIN EYAL

2 patents

US8781986B2Jul 15, 2014

Constraint satisfaction problem solving using constraint semantics

BIN EYAL0 citations42

US8392348B2Mar 5, 2013

Constraint satisfaction problem solver

BIN EYAL0 citations33

IBM

2 patents

US10657180B2May 19, 2020

Building and reusing solution cache for constraint satisfaction problems

IBM0 citations37

US10169292B2Jan 1, 2019

String variables reprsentation in solvers

IBM0 citations30

INTRANAT BUSINESS MACHINES COR

1 patent

US7386521B2Jun 10, 2008

Automatic test program generation using extended conditional constraint satisfaction

INTRANAT BUSINESS MACHINES COR24 citations90

ADIR ALLON

1 patent

US8892386B2Nov 18, 2014

Method and apparatus for post-silicon testing

ADIR ALLON5 citations69

INT BUSINESS MACHINES CORPORATION

1 patent

US12596941B2Apr 7, 2026

Realistic counterfactual explanation of machine learning predictions

INT BUSINESS MACHINES CORPORATION0 citations47