%0 Conference Paper %1 conf/dac/Schiele88 %A Schiele, Werner L. %B DAC %D 1988 %E Shaklee, Dennis W. %E Newton, A. Richard %I ACM %K dblp %P 390-395 %T Compaction with Incremental Over-Constraint Resolution. %U http://dblp.uni-trier.de/db/conf/dac/dac88.html#Schiele88

@inproceedings{conf/dac/Schiele88, added-at = {2017-03-16T00:00:00.000+0100}, author = {Schiele, Werner L.}, biburl = {https://www.bibsonomy.org/bibtex/234be4deab2389bac745eb5ef394aae71/dblp}, booktitle = {DAC}, crossref = {conf/dac/1988}, editor = {Shaklee, Dennis W. and Newton, A. Richard}, ee = {http://portal.acm.org/citation.cfm?id=285730.285793}, interhash = {31450ca02b94fe027b5a4e5189318154}, intrahash = {34be4deab2389bac745eb5ef394aae71}, keywords = {dblp}, pages = {390-395}, publisher = {ACM}, timestamp = {2017-03-17T11:39:21.000+0100}, title = {Compaction with Incremental Over-Constraint Resolution.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac88.html#Schiele88}, year = 1988 }