Amir Aavani

	2012
6		Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell: Enfragmo: A System for Modelling and Solving Search Problems with Logic. LPAR 2012: 15-22
	2011
5		Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell: Grounding Formulas with Complex Terms. Canadian Conference on AI 2011: 13-25
4		Amir Aavani: Translating Pseudo-Boolean Constraints into CNF. SAT 2011: 357-359
3		Amir Aavani: Translating Pseudo-Boolean Constraints into CNF CoRR abs/1104.1479: (2011)
	2010
2		Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell: Speed-Up Techniques for Negation in Grounding. LPAR (Dakar) 2010: 13-26
	2006
1		Kiarash Mizanian, Mehdi Salmani Jelodar, Amir Aavani, Morteza Analoui: A New Adaptive Transport Protocol for Web. CCECE 2006: 1830-1833

Coauthor Index

1	Morteza Analoui	[1]
2	Mehdi Salmani Jelodar	[1]
3	David G. Mitchell	[2] [5] [6]
4	Kiarash Mizanian	[1]
5	Shahab Tasharrofi	[2] [6]
6	Eugenia Ternovska (Eugenia Ternovskaia)	[2] [5] [6]
7	Gulay Ünel	[2]
8	Xiongnan (Newman) Wu	[5] [6]

Last update Fri May 25 03:49:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page