Yoichiro Iida
According to our database1,
Yoichiro Iida
authored at least 4 papers
between 2022 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems.
Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023
Proceedings of the Learning and Intelligent Optimization - 17th International Conference, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index.
Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022