Search Results for author: Frederic Maris

Found 1 papers, 1 papers with code

Twist your logic with TouIST

1 code implementation14 Jul 2015 Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Mael Valais

SAT provers are powerful tools for solving real-sized logic problems, but using them requires solid programming knowledge and may be seen w. r. t.\ logic like assembly language w. r. t.\ programming.

Cannot find the paper you are looking for? You can Submit a new open access paper.