-
1دورية أكاديمية
المؤلفون: Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Fagen Li
المصدر: Journal of Universal Computer Science, Vol 29, Iss 8, Pp 911-937 (2023)
مصطلحات موضوعية: restricted preemptive scheduling, parallel-machine, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
المؤلفون: Miyuki Koshimura, Emi Watanabe, Yuko Sakurai, Makoto Yokoo
المصدر: Constraints. 27:99-115
مصطلحات موضوعية: Computational Theory and Mathematics, Artificial Intelligence, Discrete Mathematics and Combinatorics, Software
-
3
المؤلفون: Hui Zhang, Liao Xiaojuan, Miyuki Koshimura, Huang Rong, Wenxin Yu, Fagen Li
المصدر: Mathematical Problems in Engineering, Vol 2021 (2021)
مصطلحات موضوعية: 020203 distributed computing, 0209 industrial biotechnology, Schedule, Mathematical optimization, Article Subject, Job shop scheduling, Computer science, General Mathematics, General Engineering, Scheduling (production processes), 02 engineering and technology, Solver, Engineering (General). Civil engineering (General), Satisfiability, 020901 industrial engineering & automation, Maximum satisfiability problem, Scalability, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, TA1-2040, Boolean satisfiability problem, Mathematics
وصف الملف: text/xhtml
-
4دورية أكاديمية
المؤلفون: Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Wenxin Yu, Fagen Li
المصدر: Hindawi, Mathematical Problems in Engineering. 2021:1-17
-
5
المؤلفون: Sung-Ho Cho, Miyuki Koshimura, Pinaki Mandal, Kentaro Yahiro, Makoto Yokoo
المصدر: SSRN Electronic Journal.
مصطلحات موضوعية: Economics and Econometrics, History, Polymers and Plastics, Business and International Management, Finance, Industrial and Manufacturing Engineering
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31a58d77a1bd6651e29625a47f0d481a
https://doi.org/10.2139/ssrn.4116234 -
6
المصدر: Lecture Notes in Computer Science ISBN: 9783031208614
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f188b5c2bdd7c76a260dc433d8c5d057
https://doi.org/10.1007/978-3-031-20862-1_2 -
7
المؤلفون: Miyuki Koshimura, Xiaojuan Liao
المصدر: Journal of Logic and Computation. 29:913-931
مصطلحات موضوعية: Theoretical computer science, Arts and Humanities (miscellaneous), Logic, Hardware and Architecture, Computer science, Maximum satisfiability problem, 0202 electrical engineering, electronic engineering, information engineering, 020206 networking & telecommunications, 020201 artificial intelligence & image processing, Structure generation, 02 engineering and technology, Software, Theoretical Computer Science
-
8
المؤلفون: Miyuki Koshimura, Hiroshi Fujita, Aolong Zha
المصدر: Constraints. 24:133-161
مصطلحات موضوعية: Discrete mathematics, 050101 languages & linguistics, Correctness, Modular arithmetic, Computer science, Modulo, 05 social sciences, 02 engineering and technology, Computer Science::Computational Complexity, Satisfiability, Computational Theory and Mathematics, Artificial Intelligence, Maximum satisfiability problem, 0202 electrical engineering, electronic engineering, information engineering, Discrete Mathematics and Combinatorics, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Conjunctive normal form, Boolean satisfiability problem, Heuristics, Software
-
9
المؤلفون: Miyuki Koshimura, Xiaojuan Liao, Kazuki Nomoto, Yuko Sakurai, Makoto Yokoo, Suguru Ueda
المصدر: Constraints. 24:25-55
مصطلحات موضوعية: Transitive relation, Theoretical computer science, Relation (database), Computer science, 020207 software engineering, 02 engineering and technology, Solver, Propositional calculus, Set (abstract data type), Computational Theory and Mathematics, Artificial Intelligence, Encoding (memory), Maximum satisfiability problem, 0202 electrical engineering, electronic engineering, information engineering, Discrete Mathematics and Combinatorics, 020201 artificial intelligence & image processing, Representation (mathematics), Software
-
10
المؤلفون: Qiong Chang, Itsuki Noda, Rongxuan Gao, Aolong Zha, Miyuki Koshimura
المصدر: ICTAI
مصطلحات موضوعية: 021103 operations research, Correctness, Computer science, Maximum satisfiability problem, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), 020201 artificial intelligence & image processing, 02 engineering and technology, Conjunctive normal form, Solver, Integer programming, Algorithm
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::809ffad792c4bc384c5549aafcf085b0
https://doi.org/10.1109/ictai50040.2020.00053