Marques-Silva, Joao, ‘Applications’: ‘Practical applications of Boolean Satisfiability’, 9th International Workshop on Discrete Event Systems, Gothenberg: IEEE, 2008, pp 74–80.
conference paper · https://doi.org/10.1109/WODES.2008.4605925
Marques-Silva, Joao, ‘Applications’: ‘Practical applications of Boolean Satisfiability’, 9th International Workshop on Discrete Event Systems, Gothenberg: IEEE, 2008, pp 74–80.
conference paper · https://doi.org/10.1109/WODES.2008.4605925