News

* 27/Feb/2012 Paper on “On Unit-Refutation Complete Formulae with Existentially Quantified Variables” will be published in the International Conference on Principles of Knowledge Representation and Reasoning (KR'2012)
* 25/Feb/2012 Paper on “An Empirical Study of Encodings for Group MaxSAT” will be published in the 25 Canadian Conference on Artificial Intelligence (CAAI'2012)
* 20/Feb/2012 Paper on “New & Improved Models for SAT-Based Bi-Decomposition” will be published in the ACM Great Lakes Symposium on VLSI 2012 (GLS-VLSI'2012)
* 08/Dec/2011 Paper on “Lower Bounds and Upper Bounds for MaxSAT” will be published in the Learning and Intelligent OptimizationN Conference (LION 6)
* 24/Nov/2011 Congratulations to Huan Chen for receiving the CASL ACE Award
* 17/Nov/2011 Paper on “QBF-Based Boolean Function Bi-Decomposition” will be published in the Design, Automation & Test in Europe Conference 2012 (DATE'2012)
* 21/Sep/2011 Paper on “Knowledge Compilation with Empowerment” will be published in the International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'2012)
* 20/Aug/2011 Paper on “On Validating Boolean Optimizer” will be published in the International Conference on Tools with Artificial Intelligence (ICTAI'2011)

news.txt · Last modified: 2012/04/12 13:29 by huanchen
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki