Publisher
Springer International Publishing
Reference9 articles.
1. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability, pp. 825–885. IOS Press (2009)
2. Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B., Schaub, T.: Answer set programming modulo acyclicity. Fundam. Inform. 147(1), 63–91 (2016)
3. Bozzano, M., Cimatti, A., Griggio, A., Jonáš, M.: Efficient analysis of cyclic redundancy architectures via boolean fault propagation. In TACAS, vol. 13244, LNCS, Springer, Cham (2022)
4. Lecture Notes in Computer Science;M Bozzano,2021
5. Brewka, G., Delgrande, J.,Romero, J., Schaub, T.: asprin: Customizing answer set preferences without a headache. In: AAAI, pp. 1467–1474, AAAI, Press (2015)