optColor

1. Introduction

This page is about the optimal layout decomposition (optColor) algorithms and the optimal Weighted Odd Cycle Cover (optWOCC) algorithm, described in the following paper.

Jian Kuang and Evangeline F. Y. Young,

"Fixed-Parameter Tractable Algorithms for Optimal Layout Decomposition and Beyond",

ACM/IEEE Design Automation Conference (DAC), June 18-22, 2017.

The algorithms were developed by Jian Kuang and Evangeline F. Y. Young from the Department of Computer Science and Engineering, the Chinese University of Hong Kong.

If you use the data described in this page for research purposes, you should cite the aforementioned paper in any resulting publication.

2. Open Source for The Optimal WOCC Solver

Submit the following request form, and the instructions for downloading the source code will be emailed to you.

READ THIS LICENSE AGREEMENT CAREFULLY BEFORE SUBMITTING THE FORM. BY USING THIS PRODUCT YOU INDICATE YOUR ACCEPTANCE OF THE TERMS OF THE FOLLOWING AGREEMENT. THESE TERMS APPLY TO YOU AND ANY SUBSEQUENT LICENSEE OF THIS PRODUCT.

License Agreement for "optWOCC"

Copyright (c) 2017 by Jian Kuang and Evangeline F. Y. Young

All rights reserved

This software can be used for research purposes only.

THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.