Boolean Format Multitool for the Next Generation
Overview Homepage for the Talk at
MBMV'23
.
Newer Talk at
IJCAR'24
Limboole im Web
New Booleguru Repository
Booleguru Project Page
logic.pizza
Slides
Presentation Abstract