A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="https://core.ac.uk/download/pdf/20771123.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
ILP-based engineering change
<span title="">2002</span>
<i title="IEEE">
Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)
</i>
Preserved Fulltext
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabling EC provides a user with the means to specify the amount of flexibility and how this flexibility should be distributed throughout the solution so that one can guarantee that a specific set of EC demands can be satisfied while preserving the quality of the initially obtained solution. Fast EC conducts changes in a
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dac.2002.1012751">doi:10.1109/dac.2002.1012751</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bziccxm4bfgwtowyrenrw2d7u4">fatcat:bziccxm4bfgwtowyrenrw2d7u4</a>
</span>
more »
... ction of the time needed to solve the problem while preserving or in some cases improving the quality of the initial solution. Preserving EC maintains either user specified components of the solution or as much as possible of the initial solution while still guaranteeing an optimal solution to the altered problem instance. We applied the generic methodology to Boolean Satisfiability (SAT) problem. The effectiveness of all proposed approaches and algorithms is demonstrated on standard benchmarks.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171025150314/https://core.ac.uk/download/pdf/20771123.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/ac/e4/ace4f9e768cd87658cc94b5ffc5b72a073ff4e7d.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dac.2002.1012751">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>