Back to Results
First PageMeta Content
Constraint programming / Automated theorem proving / Logic in computer science / Boolean algebra / NP-complete problems / Boolean satisfiability problem / DPLL algorithm / Davis–Putnam algorithm / Conjunctive normal form / Theoretical computer science / Mathematics / Applied mathematics


Document Date: 2010-05-28 11:06:43

Open Document

File Size: 139,11 KB

Share Result on Facebook

City

Baltimore / New York / Washington / DC / Sidney / Berlin / Santa Margherita Ligure / Amsterdam / Los Alamitos / London / /

Company

CNF / Demopoulos D. D. / Saks / ACM Press / Microsoft / /

Country

Italy / United States / Australia / United Kingdom / Singapore / /

Facility

The Weizmann Institute / Hebrew University / /

IndustryTerm

search strategies / local search algorithm / Local search heuristics / stable solution / polynomial-time algorithm / local search heuristic / hill climbing algorithm / Spectral refutation algorithms / empty product / potential applications / myopic algorithms / message passing algorithm / biological networks / message passing algorithms / recursive search / greedy algorithm / heuristic algorithms / greedy satisfiability algorithm / computing / search results / propagation-based algorithm / /

Organization

Weizmann Institute / Computer Science Department / Hebrew University / Jerusalem / p. / J. Assoc. / IEEE Computer Society / /

Person

Abraham D. Flaxman / S. Khanna / /

Position

cloning model for random graph. unpublished manuscript / /

ProgrammingLanguage

C / DC / /

ProvinceOrState

Maryland / California / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

local search algorithm / Myopic algorithms / H. An algorithm / hill climbing algorithm / Random Structures Algorithms / previous algorithms / message passing algorithms / Spectral refutation algorithms / message passing algorithm / J. Algorithms / cloning / machine learning / survey-propagation-based algorithm / cryptography / polynomial-time algorithm / DPLL algorithms / greedy satisfiability algorithm / greedy algorithm / related algorithm / /

URL

http /

SocialTag