Back to Results
First PageMeta Content
Logic in computer science / Automated theorem proving / Numerical software / Electronic design automation / Formal methods / Boolean satisfiability problem / 2-satisfiability / Satz / GRASP / Theoretical computer science / Mathematics / Applied mathematics


SAT 2009 competitive events booklet: preliminary version Organizers SAT competition: Daniel Le Berre, Olivier Roussel, Laurent Simon PB competition: Vasco Manquinho, Olivier Roussel Max-SAT competition: Josep Argelich, C
Add to Reading List

Document Date: 2009-09-30 10:44:43

Open Document

File Size: 2,96 MB

Share Result on Facebook

City

Munich / San Diego / Potsdam / Paris / St. Andrews / San Jose / /

Company

CNF / Cambridge University Press / Optical Computer Networks / Las Vegas NV / AAAI Press / ACM Press / Boulder 2 Cadence Design Systems / /

Continent

Europe / /

Country

Germany / France / Canada / Australia / United Kingdom / /

/

Facility

Simon Fraser University / Griffith University / University of Colorado / /

IndustryTerm

search space / search algorithm / /

OperatingSystem

GNU / /

Organization

Cambridge University / Griffith University / University of Colorado / Institut f¨ / Simon Fraser University / /

Person

Vasco Manquinho / Jordi Planes / Laurent Simon / Olivier Roussel / Min Li / Benjamin Kaufmann / Torsten Schaub / Ryuzo Hasegawa Track Minisat / Hiroshi Fujita / Miyuki Koshimura / Set Solver Martin Gebser / Daniel Le Berre / Authors Kiyonori Taniguchi / /

ProgrammingLanguage

ANSI C / C++ / /

ProvinceOrState

California / Colorado / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

artificial intelligence / search algorithm / ANSI C / html / /

URL

http /

SocialTag