<--- Back to Details
First PageDocument Content
Boolean algebra / Conjunctive normal form / Disjunctive normal form / Implicant / Decision list / IP / FO / Time complexity / Boolean satisfiability problem / Theoretical computer science / Computational complexity theory / Mathematics
Date: 2013-06-02 16:27:23
Boolean algebra
Conjunctive normal form
Disjunctive normal form
Implicant
Decision list
IP
FO
Time complexity
Boolean satisfiability problem
Theoretical computer science
Computational complexity theory
Mathematics

Add to Reading List

Source URL: people.csail.mit.edu

Download Document from Source Website

File Size: 946,33 KB

Share Document on Facebook

Similar Documents

As of today, May 26, 2015, more than 50 Key Decision Makers and Technical Experts from the following list of automotive OEMs and Tier 1 suppliers are already registered for the 2015 edition of the MMT TechDays which will

DocID: 1vlTR - View Document

A list of decisions made by the Council at its meeting on 13 June 2017 Appointment to Campus Development and Facilities Management Committee 1. The Council confirmed the decision made through the circulation of a paper

DocID: 1uPWS - View Document

Worldcon 75: 2017 Hugo report #5 Hugo administrator decisions This is a list of decisions relating to the application of the WSFS Constitution made by the 2017 Hugo administrators on behalf of Worldcon 75. These decision

DocID: 1uCrA - View Document

As of today, April 28th 2014, more than 50 Key Decision Makers and Technical Experts from the following list of automotive OEMs and Tier 1 suppliers are already registered for the 2014 edition of the MMT TechDays which w

DocID: 1uy2s - View Document

A list of decisions made by the Council at its special meeting on 23 January 2014 Appointments/reappointments to the Council committees 1. The Council confirmed the decision made through the circulation of paper:

DocID: 1ux9p - View Document