Tackling fundamental logic: A very hard automated deduction challenge (free for all)
Earlier this year, I created an open-ended logic puzzle that turned out to be quite a demanding...
Tags: logic, challenge, computerscience, algorithms