Oliver Kullmann's homepage
(and information on the SAT problem)

Research: The Satisfiability Problem (SAT)

• A (commented) publication list of my papers.

• Software for SAT solving:
  1. Previously there was the OKsolver (more precisely, "OKsolver-2002"), a SAT solver with strong look-ahead and rather well-defined semantics, and there was the "OKgenerator", an AES-based strong pseudo-random generator for random formulas.

  2. These systems are now part of the OKlibrary .

• Editor-in-Chief of Journal on Satisfiability, Boolean Modeling and Computation (JSAT)

• Student projects (for PhD, MRes, and possibly MSc).

Curriculum Vitae

Address

Lecturer at the
Computer Science Department
College of Science
Swansea University
United Kingdom

Mailing Address: Dr. Oliver Kullmann Computer Science Department Swansea University Singleton Park, Faraday Building Swansea SA2 8PP United Kingdom Phone: (44) (01792) 513369 Fax : (44) (01792) 295708

Office location: O. Kullmann Room 958, Talbot Building Singleton Park