Sparkle

Sparkle problem-solving platform designed for improving the state-of-the-art in solving a broad range of prominent AI problems, including SAT and AI Planning. I have supervised this project since the start of my position at RWTH Aachen.