G06F 8/3135
Unification or backtracking
Official title: {Unification or backtracking}
G06F8/3135 (Unification or backtracking) appears on 9 US grants and 2 published applications in this corpus.
Search patents in G06F- Granted patents
- 9
- Published applications
- 2
- Assignees
- 6
- Inventors
- 10
- Latest grant
- 23 Nov 2021
Filings by year
| Year | Granted patents | Published applications |
|---|---|---|
| 1988 | 1 | 0 |
| 1989 | 0 | 0 |
| 1990 | 0 | 0 |
| 1991 | 0 | 0 |
| 1992 | 1 | 0 |
| 1993 | 1 | 0 |
| 1994 | 0 | 0 |
| 1995 | 1 | 0 |
| 1996 | 0 | 0 |
| 1997 | 0 | 0 |
| 1998 | 1 | 0 |
| 1999 | 1 | 0 |
| 2000 | 1 | 0 |
| 2001 | 0 | 0 |
| 2002 | 0 | 0 |
| 2003 | 0 | 0 |
| 2004 | 0 | 0 |
| 2005 | 0 | 0 |
| 2006 | 0 | 0 |
| 2007 | 0 | 0 |
| 2008 | 0 | 1 |
| 2009 | 1 | 0 |
| 2010 | 0 | 0 |
| 2011 | 0 | 0 |
| 2012 | 0 | 0 |
| 2013 | 0 | 0 |
| 2014 | 0 | 0 |
| 2015 | 0 | 0 |
| 2016 | 0 | 0 |
| 2017 | 0 | 0 |
| 2018 | 0 | 0 |
| 2019 | 0 | 0 |
| 2020 | 0 | 0 |
| 2021 | 1 | 1 |
By publication year. Applications have been published since 2001.
Recent patents
- Techniques for approximate neighbor selection in tree models for computing co-occurrence23 Nov 2021US 11,182,137 B2Software AG
- Lock-free state merging in parallelized constraint satisfaction problem solvers2 Jun 2009US 7,543,266 B2Microsoft Corporation
- Method for creating a disjunctive edge graph from subtrees during unification16 May 2000US 6,064,953 AXerox Corporation
- Method of conjoining clauses during unification using opaque clauses11 May 1999US 5,903,860 AXerox Corporation
- Method of lazy contexted copying during unification6 Oct 1998US 5,819,210 AXerox Corporation
Most cited
By later US patents
- Method of lazy contexted copying during unification44US 5,819,210 AXerox Corporation · 1998
- Pattern matching method for tree structured data32US 4,794,528 AHitachi, Ltd. · 1988
- Method for creating a disjunctive edge graph from subtrees during unification31US 6,064,953 AXerox Corporation · 2000
- Disjunctive unification25US 5,438,511 AXerox Corporation · 1995
- Lock-free state merging in parallelized constraint satisfaction problem solvers25US 7,543,266 B2Microsoft Corporation · 2009