Author:
Kordon Fabrice,Hillah Lom Messan,Hulin-Hubard Francis,Jezequel Loïg,Paviot-Adet Emmanuel
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference75 articles.
1. Amendola, G., Ricca, F., Truszczynski, M.: A generator of hard 2qbf formulas and ASP programs. In: 16th International Conference on Principles of Knowledge Representation and Reasoning, pp. 52–56. AAAI Press (2018)
2. Amparore, E.G., Balbo, G., Beccuti, M., Donatelli, S., Franceschinis, G.: 30 years of GreatSPN. In: Principles of Performance and Reliability Modeling and Evaluation, pp. 227–254. Springer (2016)
3. Baarir, S., Duret-Lutz, A.: Sat-based minimization of deterministic $$\omega $$-automata. In: 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Lecture Notes in Computer Science, vol. 9450, pp. 79–87. Springer (2015)
4. Babar, J., Beccuti, M., Donatelli, S., Miner, A.S.: GreatSPN Enhanced with Decision Diagram Data Structures. In: 31st International Conference on Applications and Theory of Petri Nets, Lecture Notes in Computer Science, vol. 6128, pp. 308–317. Springer (2010)
5. Balint, A., Belov, A., Järvisalo, M., Sinz, C.: Sat challenge 2012 (2012). https://baldur.iti.kit.edu/SAT-Challenge-2012
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献