Watch Video

Satisfiability Test for the Energy Constraint

by Christian Artigues, Pierre Lopez and William Mangoua Sofack