<--- Back to Details
First PageDocument Content
NP-complete problems / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Logic in computer science / 2-satisfiability / Conjunctive normal form / PP / MAX-3SAT / Theoretical computer science / Computational complexity theory / Applied mathematics
Date: 2002-04-24 17:27:28
NP-complete problems
Boolean algebra
Boolean satisfiability problem
Electronic design automation
Logic in computer science
2-satisfiability
Conjunctive normal form
PP
MAX-3SAT
Theoretical computer science
Computational complexity theory
Applied mathematics

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 512,37 KB

Share Document on Facebook

Similar Documents

Mathematics / Mathematical analysis / Applied mathematics / Boolean algebra / Experiment / Measure theory / Sigma-algebra / Markov decision process / Game theory / Mathematical optimization

Logical Methods in Computer Science Vol. 10(1:, pp. 1–29 www.lmcs-online.org Submitted Published

DocID: 1xTZi - View Document

Algebra / Mathematics / Abstract algebra / Category theory / Universal algebra / Boolean algebra / Mathematical logic / Adjoint functors / F-algebra / Variety / Monad / Sigma-algebra

Logical Methods in Computer Science Vol. 2 (5:, pp. 1–31 www.lmcs-online.org Submitted Published

DocID: 1xTH1 - View Document

PP_icon-1_Einladung_A4_L3.indd

DocID: 1xTEi - View Document

R. Jagannathan / Dalit / Forbes India / Jagannathan

ADVANCE INFORMATION 100 POEMS ARE NOT ENOUGHNon-Fiction > Poetry Walking BookFairs-PAN ǀ Rs 299 ǀ 104 pp

DocID: 1xTyC - View Document

Experiment / Mathematical optimization / Vilfredo Pareto / Microeconomics / Multi-objective optimization / Multiple-criteria decision analysis / Probability space / Event / Markov decision process / Pareto efficiency / Mathematical analysis / Economics

Logical Methods in Computer Science Vol. 4 (4:, pp. 1–21 www.lmcs-online.org Submitted Published

DocID: 1xTht - View Document