Conor Madigan

Follow

Person

Boston, MA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method and system for efficient implementation of boolean satisfiab...
- Patent number 7,418,369
- Issue date Aug 26, 2008
- The Trustees of Princeton University
- Matthew Moskewicz
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method and system for efficient implementation of boolean satisfiab...
- Publication number 20030084411
- Publication date May 1, 2003
- Matthew Moskewicz
- G06 - COMPUTING CALCULATING COUNTING