@
| About ALCom | News | People | Research | Publications | Tools | Student Info | Links |

The ALCom Lab concerns with Applied Logic and Computation in System Design. It is founded in August 2005. We are cooking an enjoyable research environment and a culture of creativity.


2018-07-15 Paper on "Logic Synthesis of Binarized Neural Networks for Efficient Circuit Implementation" accepted by [IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2018]
2018-07-15 Paper on "Canonicalization of Threshold Logic Representation and Its Applications" accepted by [IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2018]
2018-07-15 ALCom Lab won the 1st place in the [IWLS 2018 Programming Contest: "All the Best!"] in the [27th International Workshop on Logic & Synthesis (IWLS) 2018]
2018-07-15 Paper on "Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection" accepted by [International Joint Conference on Artificial Intelligence (IJCAI) 2018]
2018-07-15 Paper on "Cost-Aware Patch Generation for Multi-Target Function Rectification in Engineering Change Order" accepted by [ACM/IEEE Design Automation Conference (DAC) 2018]

@
since 2007.4.2
Postal Address :
 Room 526, Ming-Dar Hall, National Taiwan University, Taipei 10617, Taiwan
Phone :
 +886-2-3366-9753
© 2007 Applied Logic and Computation Laboratory, GIEE, NTU. All rights reserved.
@