conf.researchr.org / Håkan Kjellerstrand
Not registered as user yet
Name:Håkan Kjellerstrand
Affiliation:CUNY Brooklyn College and Graduate Center
Contributions
| PADL | Author of The Picat-SAT Compiler within the PADL-track |
Not registered as user yet
Contributions
| PADL | Author of The Picat-SAT Compiler within the PADL-track |