Pbmodels - Software to compute stable models by pseudoboolean solvers
- Lengning Liu
- , Mirosław Truszczyński
Producción científica: Conference contribution › revisión exhaustiva
12
Citas
(Scopus)