HOME
|
CONTACT
Welcome
This is a personal web site of Yoah Bar-David (
yoah@bardavid.com
).
Automatic discovery of mutual exclusion algorithms
Automatic discovery of mutual exclusion algorithms / Yoah Bar-David & Gadi taubenfeld (PDF)
Background, questions and more
Maze/puzzle solvers
Maze designer and solver: mummy mazes
Maze designer and solver: Theseus and the minotaur
Maze designer and solver: Alice mazes
More links
Scoompa
mobile apps
Linkedin
Stack overflow
