%0 Conference Paper %1 conf/cocoon/KavvadiasS96 %A Kavvadias, Dimitris J. %A Sideri, Martha %B COCOON %D 1996 %E yi Cai, Jin %E Wong, C. K. %I Springer %K dblp %P 250-259 %T The Inverse Satisfiability Problem. %U http://dblp.uni-trier.de/db/conf/cocoon/cocoon96.html#KavvadiasS96 %V 1090 %@ 3-540-61332-3

@inproceedings{conf/cocoon/KavvadiasS96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Kavvadias, Dimitris J. and Sideri, Martha}, biburl = {https://www.bibsonomy.org/bibtex/2dc72f7c525c2d9d855720196d26b8f34/dblp}, booktitle = {COCOON}, crossref = {conf/cocoon/1996}, editor = {yi Cai, Jin and Wong, C. K.}, ee = {https://doi.org/10.1007/3-540-61332-3_158}, interhash = {c92034dff717aa68e61a6a67046f4170}, intrahash = {dc72f7c525c2d9d855720196d26b8f34}, isbn = {3-540-61332-3}, keywords = {dblp}, pages = {250-259}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:39:00.000+0200}, title = {The Inverse Satisfiability Problem.}, url = {http://dblp.uni-trier.de/db/conf/cocoon/cocoon96.html#KavvadiasS96}, volume = 1090, year = 1996 }