{"@context": "https://schema.org", "@type": "BreadcrumbList", "itemListElement": [{"@type": "ListItem", "position": 1, "name": "Home", "item": "https://www.patentleaderboard.com/"}, {"@type": "ListItem", "position": 2, "name": "Quantified boolean formula (QBF) solver", "item": "https://www.patentleaderboard.com/patent/7249333"}]}
Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Quantified boolean formula (QBF) solver

Quantified boolean formula (QBF) solver

US Patent 7249333 · Granted Jul 24, 2007

Estimated economic value: $29,685,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Hardware-based memory compression2025
Memory forming method and memory2025
Wireless programmable media processing system2025
Display panel and display device2025
Processing loops in computational graphs2025
MLA-OCT imaging catheter, MLA-OCT imaging system and MLA-OCT imaging method2025
Method for forming memory and memory2024
Memory device and method for forming the same2024
Wireless programmable media processing system2024
Establishment of queue between threads in user space2024
Establishment of socket connection in user space2023
Processing computational graphs2023