Not registered as user yet

Name: Håkan Kjellerstrand

Affiliation: CUNY Brooklyn College and Graduate Center

Contributions

PADLAuthor of The Picat-SAT Compiler within the PADL-track