Yoichiro Iida

According to our database, Yoichiro Iida authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2024

Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

WANCE: Learnt Clause Evaluation Method for SAT Solver Using Graph Structure.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the Learning and Intelligent Optimization - 18th International Conference, 2024

2023

An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

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

Unleashing the Potential of Restart by Detecting the Search Stagnation.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the Learning and Intelligent Optimization - 17th International Conference, 2023

Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract).

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022