Inventor
NAVEH YEHUDA
IL34 patents
⚠️ This page may combine multiple inventors who share the name “NAVEH YEHUDA”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
CLASSIQ TECH LTD
18 patentsUS11373114B1Jun 28, 2022
CSP-based synthesis of a quantum circuit
CLASSIQ TECH LTD20 citations92
US11416762B1Aug 16, 2022
Selecting physical qubits for quantum error correction schemes
CLASSIQ TECH LTD9 citations84
US11288589B1Mar 29, 2022
Quantum circuit modeling
CLASSIQ TECH LTD12 citations84
US11281988B1Mar 22, 2022
Re-generation of a gate-level quantum circuit based on gate-level analysis
CLASSIQ TECH LTD17 citations84
US11615337B1Mar 28, 2023
Determining quantum error correction schemes
CLASSIQ TECH LTD6 citations73
US11620564B2Apr 4, 2023
CSP-based quantum circuit modeling
CLASSIQ TECH LTD2 citations72
US11429512B1Aug 30, 2022
Controlled propagation in quantum computing
CLASSIQ TECH LTD5 citations72
US12340278B2Jun 24, 2025
Determining dynamic quantum error correction schemes
CLASSIQ TECH LTD1 citations63
US12436742B2Oct 7, 2025
Performance analysis of quantum programs
CLASSIQ TECH LTD1 citations61
US12380351B2Aug 5, 2025
Quantum circuit synthesis using CSP
CLASSIQ TECH LTD0 citations61
US11995515B2May 28, 2024
DAG-Based CSP quantum circuit modeling
CLASSIQ TECH LTD0 citations61
US11875229B2Jan 16, 2024
Determining dynamic quantum error correction
CLASSIQ TECH LTD1 citations61
US12450511B2Oct 21, 2025
Compiling quantum programs
CLASSIQ TECH LTD1 citations58
US12086686B2Sep 10, 2024
Provisioning functional-level information to be utilized in gate-level processing of quantum circuits
CLASSIQ TECH LTD0 citations50
US12073291B2Aug 27, 2024
Functional-level processing component for quantum computers
CLASSIQ TECH LTD0 citations50
US12056578B1Aug 6, 2024
Quantum operating system utilizing multiple compilers
CLASSIQ TECH LTD0 citations50
US12086687B2Sep 10, 2024
Dynamic synthesis of gate-level implementations of functional blocks in quantum circuits
CLASSIQ TECH LTD0 citations48
US11687821B2Jun 27, 2023
Efficient execution of a quantum program
CLASSIQ TECH LTD0 citations47
IBM
13 patentsUS10091925B2Oct 9, 2018
Accurately determining crop yield at a farm level
IBM83 citations97
US7331007B2Feb 12, 2008
Harnessing machine learning to improve the success rate of stimuli generation
IBM20 citations91
US9430299B2Aug 30, 2016
System, method and product for task allocation
IBM8 citations84
US7171393B2Jan 30, 2007
Solving constraint satisfaction problems using variable-range hopping
IBM13 citations84
US7877659B2Jan 25, 2011
Memory model for functional verification of multi-processor systems
IBM11 citations82
US7007207B2Feb 28, 2006
Scheduling of transactions in system-level test program generation
IBM10 citations73
US8028291B2Sep 27, 2011
Method and computer program product for job selection and resource allocation of a massively parallel processor
IBM3 citations60
US7587376B2Sep 8, 2009
Reformulation of constraint satisfaction problems for stochastic search
IBM2 citations60
US8386287B2Feb 26, 2013
Resource management using constraint programming with efficient ordering of variables
IBM1 citations51
US7562061B2Jul 14, 2009
Context-based failure reporting for a constraint satisfaction problem
IBM1 citations51
US9337845B2May 10, 2016
Solving constraint satisfaction problems using a field programmable gate array
IBM0 citations49
US10537801B2Jan 21, 2020
System and method for decision making in strategic environments
IBM0 citations42
US9699525B2Jul 4, 2017
Method and system for automatic residual consumption
IBM0 citations37