"A novel processor for dynamic evolution of constrained SAT problems: The ..."

Caicai Feng, Saratha Sathasivam (2024)

Details and statistics

DOI: 10.1016/J.JKSUCI.2024.101927

access: open

type: Journal Article

metadata version: 2024-03-08

a service of  Schloss Dagstuhl - Leibniz Center for Informatics