2 papers
astro-ph.IM2019
The solar survey at Pic du Midi: calibrated data and improved images
Laurent Koechlin, Luc Dettwiller, Maurice Audejean +2
At Pic du Midi observatory we carry out a solar survey with images of the photosphere, prominences and corona. This survey, named CLIMSO (CLIchés Multiples du SOleil), is in the fo…
cs.CY2015
Twist your logic with TouIST
Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet +4
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…