Back to Results
First PageMeta Content
Constraint programming / Logic in computer science / Boolean algebra / Automated theorem proving / Mathematical logic / Boolean satisfiability problem / DPLL algorithm / Local search / Davis–Putnam algorithm / Theoretical computer science / Applied mathematics / Mathematics


A New Approach to Model Counting Wei Wei and Bart Selman Department of Computer Science Cornell University Ithaca, NY 14853
Add to Reading List

Document Date: 2005-06-09 16:20:27

Open Document

File Size: 289,55 KB

Share Result on Facebook

Company

3SAT / CNF / /

Currency

pence / /

IndustryTerm

Metropolis algorithm / model counting algorithms / approximate model counting algorithm / approximate counting algorithms / visited solution / hybrid algorithm / belief networks / search tree / local search heuristic / model counting algorithm / empty output product / style algorithms / /

Organization

Bart Selman Department of Computer Science Cornell University Ithaca / /

Person

Wei Wei / Bart Selman / /

Position

Model / /

Product

Metropolis / SampleSat / /

ProgrammingLanguage

V / C / /

ProvinceOrState

New York / /

Technology

DDP algorithm / DPLL Searching DPLL algorithm / ApproxCount algorithm / SampleSat algorithm / model counting algorithm / hybrid algorithm / artificial intelligence / 3 SampleSat SampleSat algorithm / model counting algorithms / 4 ApproxCount algorithm / DPLL algorithm / caching / approximate model counting algorithm / approximate counting algorithms / Metropolis algorithm / style algorithms / CDP algorithm / /

SocialTag