@inproceedings{DBLP:conf/synasc/AndreiMYF07,
author = {Stefan Andrei and
Gabriel Manolache and
Roland H. C. Yap and
Victor Felea},
title = {Approximate Satisfiability Counting},
booktitle = {SYNASC},
year = {2007},
pages = {196-202},
ee = {http://dx.doi.org/10.1109/SYNASC.2007.16},
crossref = {DBLP:conf/synasc/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/synasc/2007,
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {Proceedings of the Ninth International Symposium on Symbolic
and Numeric Algorithms for Scientific Computing, SYNASC
2007, Timisoara, Romania, September 26-29, 2007},
booktitle = {SYNASC},
publisher = {IEEE Computer Society},
year = {2007},
isbn = {978-0-7695-3078-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-08 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
