Daniel Le Berre

Identifiers

Open LibraryOL9713562A

Top Subjects

Sat (educational test) (1)

Books by Daniel Le Berre

Total count: 1

Theory and Applications of Satisfiability Testing - SAT 201619th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Springer London, Limited2016-01-01