Back to Results
First PageMeta Content
NP-complete problems / Boolean algebra / Hamiltonian path / Gray code / Boolean satisfiability problem / Conjunctive normal form / Induced path / Propositional formula / Cube / Mathematics / Theoretical computer science / Graph theory


Document Date: 2008-05-07 17:14:15

Open Document

File Size: 431,69 KB

Share Result on Facebook

City

Zurich / /

Company

IBM / /

Country

Switzerland / United Kingdom / /

/

Facility

Oxford University / Computer Systems Institute / Daniel Kroening† kroening@comlab.ox.ac.uk Computing Laboratory / Delft University of Technology / /

IndustryTerm

classification algorithm / bitonic sorting networks / bitonic sorting network / construction algorithms / quadratic sorting network / algorithmic solution / /

Organization

Oxford University / Delft University of Technology / Daniel Kroening† kroening@comlab.ox.ac.uk Computing Laboratory / /

Person

Daniel Kroening† kroening / /

Position

straight-forward / representative / /

ProgrammingLanguage

EC / /

Technology

previous algorithm / cryptography / construction algorithms / Internal Symmetry Breaking The classification algorithm / 3 GHz processor / QUBS algorithm / network protocols / /

SocialTag