Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Chufeng Jiang
conf.researchr.org general profile
FLOPS 2026 profile
Not registered as user
Name:
Chufeng Jiang
Affiliation:
City University of New York
Contributions
2026
FLOPS
Author of Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication into SAT (Declarative Pearl) within the FLOPS 2026-track
Share
x
Tue 27 Oct 15:18