Gabriel Manolache

	2007
1		Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea: Approximate Satisfiability Counting. SYNASC 2007: 196-202

Coauthor Index

1	Stefan Andrei	[1]
2	Victor Felea	[1]
3	Roland H. C. Yap	[1]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page