This is my old research page. Please note that all of this information is out of date and that this page exists for historical reasons only.

Christian Drescher

I received my BSc in Computer Science and BEd in Computer Science and Mathematics from the University of Potsdam in 2008..

Tools

The preprocessor sbass detects and breaks symmetries in the search space of ASP instances by adding symmetry-breaking constraints.

• sbass 1.0 - Source package
• saucy 2.1 patch for BSD/OSX provided by Thomas Krennwallner

A translational approach to Constraint Answer Set Solving was implemented in the prototypical preprocessor inca.

• inca - Source package
• inca - Examples

I also implemented the conflict-driven disjunctive Answer Set solver claspD. Visit the claspD project website for detailed information.

• claspD 1.1 - Source package
• claspD 1.1 - Windows-32 binary

The preprocessor lnorm removes duplicate literals in rules of (disjunctive) logic programs.

• lnorm - Source package

Caparica-Prolog is an implementation of the programming language Prolog. It compiles logic programs into byte code and interprets it by a Warrens abstract machine with some optimisations, e.g., last call optimisation.

• caparica - Source package
• caparica - Windows-32 binary