SATOULOUSE: the computational power of propositional logic shown to beginners

Authors:
Olivier Gasquet;François Schwarzentruber;Martin Strecker
Affiliations:
Institut de Recherche en Informatique de Toulouse, Université de Toulouse, Toulouse, France;Institut de Recherche en Informatique de Toulouse, Université de Toulouse, Toulouse, France;Institut de Recherche en Informatique de Toulouse, Université de Toulouse, Toulouse, France
Venue:
TICTTL'11 Proceedings of the Third international congress conference on Tools for teaching logic
Year:
2011

Citing 1
Cited 1

Kawa: compiling dynamic languages to the Java VM

ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference

DebateWEL: an interface for debating with enthymemes and logical formulas

JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a tool (Satoulouse) that can help teachers, particularly in computer science, to convince undergraduate students that logic may be powerful. It is to be used very early in a logic course, in order to enhance students' motivation to learn propositional logic. Satoulouse simply consists of a friendly interface that offers several syntactic facilities and which is connected with a sufficiently powerful SATprover (namely SAT4J) allowing to automatically solve big instances of difficult problems (such as time-tables or Sudokus).