Neng-Fa Zhou - FLOPS 2026

Tue 26 - Thu 28 May 2026

Not registered as user

Name:Neng-Fa Zhou

Affiliation:CUNY Brooklyn College and Graduate Center

Personal website: http://www.sci.brooklyn.cuny.edu/~zhou/

Contributions

2026

FLOPS

Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication into SAT (Declarative Pearl)
Committee Member in Program Committee within the FLOPS 2026-track

Show activities from other conferences

FLOPS 2026-profile
View general profile