Back to Results
First PageMeta Content
Logic in computer science / Operations research / Electronic design automation / Formal methods / NP-complete problems / Boolean satisfiability problem / Maximum satisfiability problem / ZYpp / Solver / Theoretical computer science / Applied mathematics / Mathematics


Document Date: 2012-12-16 04:54:55

Open Document

File Size: 52,04 KB

Share Result on Facebook

City

Tokyo / Saarbr¨ucken / New York / /

Company

IEEE Computer Society Press / /

Country

Germany / Japan / United States / Trinidad / /

/

IndustryTerm

large free and open source package-based software distributions / software engineering / a lot of possible solutions / multi-core processors / real software / software engineering vocabulary / Linear-time algorithms / equivalent solutions / local search algorithms / dependency management / possible solutions / non optimal solutions / enumeration algorithm / software engineering community / technology growing / solvers technology / /

OperatingSystem

Linspire / Linux / Gnu / OpenSuse / /

Organization

Max-Plank-Institut / American Mathematical Society / US Federal Reserve / Max-Planck Institut / IEEE Computer Society / /

Person

Zypp / Morgan Kaufmann / Daniel Le Berre Anne Parrain / /

Position

forward the development / editor / package install/uninstall manager / update manager / dependency manager / manager for the Linspire linux distribution / Feature Model Editor / manager of Eclipse / engineer / /

Product

Dimacs / /

ProgrammingLanguage

Java / /

ProvinceOrState

New York / /

PublishedMedium

Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

enumeration algorithm / Linear-time algorithms / artificial intelligence / SAT technologies / Java / Linux / local search algorithms / SAT technology / fr Abstract SAT solvers technology / /

URL

www.mancoosi.org / http /

SocialTag