Author:
Amadini Roberto,Gange Graeme,Schachte Peter,Søndergaard Harald,Stuckey Peter J.
Publisher
Springer International Publishing
Reference37 articles.
1. Lecture Notes in Computer Science;R Amadini,2019
2. Amadini, R., Gabbrielli, M., Mauro, J.: An enhanced features extractor for a portfolio of constraint solvers. In: Proceedings 29th Annual ACM Symposium Applied Computing, pp. 1357–1359. ACM (2014)
3. Amadini, R., Gabbrielli, M., Mauro, J.: SUNNY: a lazy portfolio approach for constraint solving. Theory Pract. Logic Program. 14(4–5), 509–524 (2014)
4. Lecture Notes in Computer Science;R Amadini,2015
5. Amadini, R., Gange, G., Stuckey, P.J.: Sweep-based propagation for string constraint solving. In: Proceedings of 32nd AAAI Conference Artificial Intelligence, pp. 6557–6564. AAAI (2018)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Attribute Grammar Mining by Symbolic Execution;2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2022-03