Ruth Hoffmann | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Özgür Akgün
13 publications
Ian P. Gent
9 publications
Christopher Jefferson
5 publications
Joan Espasa
4 publications
Susmit Sarkar
1 publication
Alice M. Lynch
1 publication

research

∙ 04/30/2021

Using Small MUSes to Explain How to Solve Pen and Paper Puzzles

Pen and paper puzzles like Sudoku, Futoshiki and Skyscrapers are hugely ...

0 Joan Espasa, et al. ∙

research

∙ 08/29/2018

Memory Consistency Models using Constraints

Memory consistency models (MCMs) are at the heart of concurrent programm...

0 Ruth Hoffmann, et al. ∙