About this scholarly article

2008 9th International Workshop on Discrete Event Systems - Practical applications of Boolean Satisfiability by Marques-Silva, Joao is a scholarly article available to read on EtoBox.

Author

Marques-Silva, Joao

Publisher

IEEE

Published

2008