Theory and applications of satisfiability testing: 16th international conference ; proceedings by SAT, Helsinki fromLecture Notes in Computer Science 0 Type: Book
Constrained optimization and optimal control for partial differential equations by Leugering, Günter fromInternational Series of Numerical Mathematics 0 Type: Book