Assignee
Inventors
- Margus Veanes (18 patents)
- Nikolai Tillmann (33 patents)
- Jonathan Paul de Halleux (14 patents)
- Pavel Grigorenko (1 patents)
{"@context": "https://schema.org", "@type": "BreadcrumbList", "itemListElement": [{"@type": "ListItem", "position": 1, "name": "Home", "item": "https://www.patentleaderboard.com/"}, {"@type": "ListItem", "position": 2, "name": "Symbolic query exploration", "item": "https://www.patentleaderboard.com/patent/8180786"}]}
Skip to contentUS Patent 8180786 · Granted May 15, 2012