- See here for publications and talks.
- See here for the
Projects concerned with the development of complete SAT solvers.
Understanding and enhancing SAT solvers
Reductions for SAT
Projects concerned with methods simplifying SAT problems.
Unit-clause propagation and beyond
How to represent a problem (well) as a SAT problem?
- Representing boolean functions.
SAT and combinatorics
Qualitative matrix analysis
Graph and hypergraph colouring
SAT and CSP
Cryptanalysis and SAT
Mathematical foundations of Satisfiability (SAT)
Categories for SAT
Boolean data analysis
Qualitative comparative analysis (QCA)
Mathematical development of Badiou's approaches
Axiomatic foundations of psychoanalysis
- The full development of the parable of the three prisoners.
Last modified: Sat Nov 19 14:05:55 GMT 2011