Maphys related work:

code: https://gitlab.inria.fr/solverstack/maphys/maphys/

papers: https://gitlab.inria.fr/solverstack/maphys/papers/