<--- Back to Details
First PageDocument Content
Boolean algebra / Formal methods / Theoretical computer science / Implicant / Disjunctive normal form / IP / Lambda calculus / Vector space / Boolean satisfiability problem / Bayesian network
Date: 2011-07-13 14:33:31
Boolean algebra
Formal methods
Theoretical computer science
Implicant
Disjunctive normal form
IP
Lambda calculus
Vector space
Boolean satisfiability problem
Bayesian network

RESEARCHCONTRIBUTIONS Artificial Intelligence and Language Processing

Add to Reading List

Source URL: aml.media.mit.edu

Download Document from Source Website

File Size: 787,49 KB

Share Document on Facebook

Similar Documents

1 Overview • This talk is about: – The Boolean Satisfiability Problem (SAT) – The Constraint Satisfaction Problem (CSP)

DocID: 1ukgD - View Document

Theoretical computer science / Mathematics / Computational complexity theory / Operations research / Logic in computer science / Mathematical optimization / NP-complete problems / Boolean algebra / Maximum satisfiability problem / Boolean satisfiability problem / Constraint satisfaction / Solver

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

DocID: 1rsZm - View Document

Theoretical computer science / Computational complexity theory / Mathematics / Logic in computer science / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Symposium on Discrete Algorithms / Approximation algorithm / Random walk / 2-satisfiability

Curriculum Vitae: Alexis C. Kaporis Contact information Address : Phone:

DocID: 1roWY - View Document

Mathematics / Theoretical computer science / Abstract algebra / FO / Finite model theory / Sheaf / Boolean satisfiability problem / Uniform space

A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin

DocID: 1rd10 - View Document

Logic / Mathematical logic / Mathematics / Propositional calculus / Automated theorem proving / Boolean algebra / Syntax / Boolean satisfiability problem / Clause / Valuation / Propositional variable / Unit propagation

Microsoft PowerPoint - perspCompatibility Mode]

DocID: 1r0cq - View Document