Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Methods and apparatus for decision making in resolution based SAT-solvers

Methods and apparatus for decision making in resolution based SAT-solvers

US Patent 7992113 · Granted Aug 2, 2011

Estimated economic value: $3,104,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Thermoset polymers with polyfluoroalkylsiloxane modified surfaces2005
Thermoset polymers with dispersed fluorocarbon additives2004
Method of and composition for preventing tissue damage2004
Thermoplastic polymers with dispersed fluorocarbon additives2003
Method and composition for preventing surgical adhesions2002
Biofunctional surface modified ocular implants, surgical instruments, medical de2002
Method and composition for preventing surgical adhesions and tissue damage emplo2000
Method and composition for preventing surgical adhesions2000
Thermoplastic polymers with dispersed fluorocarbon additives2000
Method and composition for preventing surgical adhesions and tissue damage2000
Thermoplastic polymers with polyfluoroalkylsiloxane modified surfaces1999
Surface modified surgical instruments, medical devices, implants, contact lenses1999