Almost Correct Solvers for Combinational Logic Assignments

Sunjae Park. Almost Correct Solvers for Combinational Logic Assignments. In Ben Stephenson, Jeffrey A. Stone, Lina Battestilli, Samuel A. Rebelsky, Libby Shoop, editors, Proceedings of the 55th ACM Technical Symposium on Computer Science Education, SIGCSE 2024, Volume 2, Portland, OR, USA, March 20-23, 2024. pages 1778-1779, ACM, 2024. [doi]

Abstract

Abstract is missing.