المؤلفون: Gutiérrez, Elena, Okudono, Takamasa, Waga, Masaki, Hasuo, Ichiro

مصطلحات موضوعية: Computer Science - Neural and Evolutionary Computing, Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory, 68Q45

الوصول الحر: http://arxiv.org/abs/2004.06581Test

المؤلفون: Okudono, Takamasa, Waga, Masaki, Sekiyama, Taro, Hasuo, Ichiro

مصطلحات موضوعية: Computer Science - Machine Learning, Statistics - Machine Learning

الوصول الحر: http://arxiv.org/abs/1904.02931Test

المؤلفون: Okudono, Takamasa, Nishida, Yuki, Kojima, Kensuke, Suenaga, Kohei, Kido, Kengo, Hasuo, Ichiro

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/1709.00314Test

المؤلفون: Okudono, Takamasa, King, Andy

المساهمون: Biere, Armin, Parker, David

مصطلحات موضوعية: QA Mathematics (inc Computing science)

وصف الملف: application/pdf

العلاقة: https://kar.kent.ac.uk/80188/1/tacas_with_orcid.pdfTest; Okudono, Takamasa and King, Andy (2020) Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic. In: Biere, Armin and Parker, David, eds. International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 79-96. ISBN 978-3-030-45189-9. (doi:10.1007/978-3-030-45190-5_5 ) (KAR id:80188 )

الإتاحة: https://doi.org/10.1007/978-3-030-45190-5_5Test
https://kar.kent.ac.uk/80188Test/
https://kar.kent.ac.uk/80188/1/tacas_with_orcid.pdfTest

المؤلفون: Okudono, Takamasa, Waga, Masaki, Sekiyama, Taro, Hasuo, Ichiro

المصدر: Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 34 No. 04: AAAI-20 Technical Tracks 4; 5306-5314 ; 2374-3468 ; 2159-5399

وصف الملف: application/pdf

العلاقة: https://ojs.aaai.org/index.php/AAAI/article/view/5977/5833Test; https://ojs.aaai.org/index.php/AAAI/article/view/5977Test

الإتاحة: https://doi.org/10.1609/aaai.v34i04.5977Test
https://ojs.aaai.org/index.php/AAAI/article/view/5977Test