Publication
- A. Aavani, D. Mitchell, E. Ternovska, "New Encoding for Translating Pseudo-Boolean Constraints into SAT", 10th Symposium on Abstraction, Reformulation, and Approximation, 2013.
- A. Aavani, N. Wu, E. Ternovska, D. Mitchell, "Enfragmo: A System for Modelling and Solving Search Problems with Logic", The 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning, 2012.
- A. Aavani, "Translating Pseudo-Boolean Constraints into CNF'', Fourteenth International Conference on Theory and Applications of Satisfiability Testing, 2011.
- A. Aavani, N. Wu, E. Ternovska, D. Mitchell, "Grounding Formulas with Complex Terms'', Canadian Conference on Artificial Intelligence, 2011.
- A. Aavani, N. Wu, E. Ternovska, D. Mitchell, "Grounding Formulas with Complex Terms'', 3rd International Workshop on Logic and Search, 2010.
- A. Aavani, N. Wu, E. Ternovska, "Grounding Count Constraints'', 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning, 2009.
- A. Aavani, S. Tasharrofi, G. Unel, E. Ternovska, D. Mitchell, "Speed-up Techniques for Negation in Grounding", 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning, 2009.
- M. Sharifi, A. Aavani, S. Tasharrofi, "Using XCS as a Predictor Engine in Compression",
International Conference on Intelligent Systems and Knowledge Engineering, 2007.
- A. Aavani, A. Farjudian, M. Salmani, "A Hierarchical Information Theoretic Text Classification", International Conference on Adaptive and Nueral Computing and Algorithm, 2007.
- A. Aavani, A. Farjudian, M. Salmani, "Information Theoretic Text Classification", 12th Computer Society of Iran Computer Conference, 2007.
- A. Aavani, R. Hesamifard, S. Bagheri, S. Remezani, V. Hashemi, "Pardis, a Fuzzy Extension to Multiagent Simulation Systems", Fourteenth Iranian Computer Engineering Conference, 2006.
- M. Salmani, A. Aavani, "Reducing Scan Base Testing Power by Using Genetic Algorithm", Fourteenth Iranian Computer Engineering Conference, 2006.
- K. Mizanian, M. Salmani, A. Aavani, M. Analoui, "A New Adaptive HTTP Protocol", Canadian Conference on Electrical and Computer Engineering, 2006.
- J. Sadeghi, A. Aavani, and M. Sharifi, "CyberSession: A New Proposition for E-Learning in Collaborative Virtual Environments", International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision, 2005.
- S. Parsa, S. Lotfi, O. Boushehrian, A. Aavani, S. Tasharrofi, "A New Method for Loop Parallelization Using Genetic Algorithms", Ninth Iranian Computer Engineering Conference, 2004.
- M. Sharifi, H. Mousavian, A. Aavani, "Predicting the Future State of the Robocup Simulation Environment: Heuristic and Neural Networks", IEEE Man and Cybernetics, 2003.
|