Unification or backtracking

Industry

CPC
G06F8/3135

This industry / category may be too specific. Please go to a parent level for more data

Parent Industries

GPHYSICS G06Computing G06FELECTRICAL DIGITAL DATA PROCESSING G06F8/00Arrangements for software engineering

Current Industry

G06F8/3135Unification or backtracking

Industries

Please log in for detailed analytics

Patents Grantslast 30 patents

Information Patent Grant
Techniques for approximate neighbor selection in tree models for co...
- Patent number 11,182,137
- Issue date Nov 23, 2021
- Software AG
- Ramu Ramaiah
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Lock-free state merging in parallelized constraint satisfaction pro...
- Patent number 7,543,266
- Issue date Jun 2, 2009
- Microsoft Corporation
- Allen L. Brown, Jr.
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for creating a disjunctive edge graph from subtrees during u...
- Patent number 6,064,953
- Issue date May 16, 2000
- Xerox Corporation
- John T. Maxwell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of conjoining clauses during unification using opaque clauses
- Patent number 5,903,860
- Issue date May 11, 1999
- Xerox Corporation
- John T. Maxwell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of lazy contexted copying during unification
- Patent number 5,819,210
- Issue date Oct 6, 1998
- Xerox Corporation
- John T. Maxwell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Disjunctive unification
- Patent number 5,438,511
- Issue date Aug 1, 1995
- Xerox Corporation
- John T. Maxwell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Failure history table for optimizing backtrack searches
- Patent number 5,249,261
- Issue date Sep 28, 1993
- International Business Machines Corporation
- Kadathur S. Natarajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for selective back-tracking in a hierarchical system contain...
- Patent number 5,136,698
- Issue date Aug 4, 1992
- Kabushiki Kaisha Toshiba
- Toshio Okamoto
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Pattern matching method for tree structured data
- Patent number 4,794,528
- Issue date Dec 27, 1988
- Hitachi, Ltd.
- Tadashi Hirose
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
TECHNIQUES FOR APPROXIMATE NEIGHBOR SELECTION IN TREE MODELS FOR CO...
- Publication number 20210132921
- Publication date May 6, 2021
- Software AG
- Ramu RAMAIAH
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Lock-free state merging in parallelized constraint satisfaction pro...
- Publication number 20080120490
- Publication date May 22, 2008
- Microsoft Corporation
- Allen L. Brown
- G06 - COMPUTING CALCULATING COUNTING

Unification or backtracking

Industry

Parent Industries

Current Industry

Patents Grantslast 30 patents

Techniques for approximate neighbor selection in tree models for co...

Lock-free state merging in parallelized constraint satisfaction pro...

Method for creating a disjunctive edge graph from subtrees during u...

Method of conjoining clauses during unification using opaque clauses

Method of lazy contexted copying during unification

Disjunctive unification

Failure history table for optimizing backtrack searches

Method for selective back-tracking in a hierarchical system contain...

Pattern matching method for tree structured data

Patents Applicationslast 30 patents

TECHNIQUES FOR APPROXIMATE NEIGHBOR SELECTION IN TREE MODELS FOR CO...

Lock-free state merging in parallelized constraint satisfaction pro...