Z. Zhu, Li, C. Min, Manyi, F., and Simon, L.,
“Optimizing with Minimum Satisfiability”,
Artificial Intelligence, vol. 190, pp. 32-44, 2012.
L. Brandan-Briones, Lazovik, A., and Dague, P.,
“Optimizing the system observability level for diagnosability”, in
Proc. of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Chalkidiki, Kassandra, Greece, 2008.
D. Bursztyn, Goasdoué, F., Manolescu, I., and Roatis, A.,
“Optimizing Reformulation-based Query Answering in RDF”, in
BDA'14 - Gestion de Données – Principes, Technologies et Applications, Grenoble-Autrans, France, 2014.
D. Bursztyn, Goasdoué, F., and Manolescu, I.,
“Optimizing Reformulation-based Query Answering in RDF”, in
EDBT: 18th International Conference on Extending Database Technology, Brussels, Belgium, 2015.