Picture for Loïc Paulevé

Loïc Paulevé

LaBRI

Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks

Add code
May 03, 2023
Viaarxiv icon

Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis

Add code
Jul 27, 2022
Figure 1 for Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis
Figure 2 for Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis
Figure 3 for Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis
Figure 4 for Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis
Viaarxiv icon

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

Add code
Jun 02, 2020
Figure 1 for SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
Viaarxiv icon

Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming

Add code
Sep 10, 2019
Figure 1 for Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming
Figure 2 for Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming
Figure 3 for Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming
Figure 4 for Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming
Viaarxiv icon