학술논문
'학술논문'
에서 검색결과 261건 | 목록
1~10
Academic Journal
In: Journal of Computer and System Sciences . (Journal of Computer and System Sciences, September 2024, 144)
Academic Journal
In: ACM Transactions on Computational Logic . (ACM Transactions on Computational Logic, 31 July 2024, 25(3))
Academic Journal
In: Journal of Computer and System Sciences . (Journal of Computer and System Sciences, June 2024, 142)
Academic Journal
In: Journal of Artificial Intelligence Research . (Journal of Artificial Intelligence Research, 2024, 80:875-918)
Academic Journal
In: Artificial Intelligence . (Artificial Intelligence, December 2023, 325)
Academic Journal
In: Discrete Applied Mathematics . (Discrete Applied Mathematics, 15 October 2023, 337:173-184)
Academic Journal
In: Constraints . (Constraints, September 2023, 28(3):450-471)
Academic Journal
In: ACM Journal of Experimental Algorithmics . (ACM Journal of Experimental Algorithmics, 25 July 2023, 28(3))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024. (Leibniz International Proceedings in Informatics, LIPIcs, August 2024, 305)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 30th International Conference on Principles and Practice of Constraint Programming, CP 2024. (Leibniz International Proceedings in Informatics, LIPIcs, August 2024, 307)
검색 결과 제한하기
제한된 항목
[AR] Szeider, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어