@misc{indiciaef88240745dd0,
  title = {A Version Space Approach for Digital Circuit Analysis},
  author = {Mitchell A. Thornton},
  year = {2026},
  url = {https://arxiv.org/abs/2609.00609},
  note = {Source identifier: 2609.00609}
}