1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AR2024
Functional Type Expressions of Sequential Circuits with the Notion of Referring Forms
Shunji Nishimura
This paper introduces the notion of referring forms as a new metric for analyzing sequential circuits from a functional perspective. Sequential circuits are modeled as causal strea…
cs.LO2023★ 1 cited
Approximate-At-Most-k Encoding of SAT for Soft Constraints
Shunji Nishimura
In the field of Boolean satisfiability problems (SAT), at-most-k constraints, which suppress the number of true target variables at most k, are often used to describe objective pro…