Sigma Solutions Inc. / Sun Microsystems / Intel / /
Country
India / /
Currency
pence / /
Facility
Rice University / Indian Institute of Technology Bombay / /
IndustryTerm
hardware systems / industrial systems / formalverification tools / possible solutions / logic networks / verification applications / related algorithms / scaling advantage to our algorithm / /
Organization
Rice University / National Science Foundation / Board of Research / India Department of Computer Science / Indian Institute of Technology Bombay / US Federal Reserve / /
Person
Gomes / /
Position
Prime Minister / /
Product
CryptoMiniSAT / /
Technology
adapted algorithm / Preliminaries Our algorithm / BGP algorithm / The BGP algorithm / 3 Related Algorithms / UniWit algorithm / simulation / XORSample0 algorithm / CAV / closely related algorithms / two algorithms / /