Project Proposals

General remarks:

• See here for publications and talks.
• See here for the OKlibrary.

SAT solvers

Projects concerned with the development of complete SAT solvers.

Understanding and enhancing SAT solvers

Resolution complexity

Visualisation

Parallelism

Reductions for SAT

Projects concerned with methods simplifying SAT problems.

Unit-clause propagation and beyond

Autarkies

Branching heuristics

SAT-Representations

How to represent a problem (well) as a SAT problem?

• Representing boolean functions.

SAT and combinatorics

Ramsey theory

Minimal unsatisfiability

Autarkies

Qualitative matrix analysis

Graph and hypergraph colouring

Matroid theory

Generalised SAT

SAT and CSP

Cryptanalysis and SAT

Mathematical foundations of Satisfiability (SAT)

Categories for SAT

Boolean data analysis

Qualitative comparative analysis (QCA)

Philosophy

Mathematical development of Badiou's approaches

Axiomatic foundations of psychoanalysis

Case studies:

• The full development of the parable of the three prisoners.