Sebastiaan J. C. Joosten | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat AI Photo Editor Math AI

Featured Co-authors

Anthony Brogni
1 publication

research

∙ 07/28/2023

Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3

This paper presents the development of a software tool that enables the ...

0 Anthony Brogni, et al. ∙

research

∙ 06/25/2018

Finding models through graph saturation

We give a procedure that can be used to automatically satisfy invariants...

0 Sebastiaan J. C. Joosten, et al. ∙