| Enfragmo: A system for modelling and solving search problems with logic A Aavani, X Wu, S Tasharrofi, E Ternovska, D Mitchell Logic for Programming, Artificial Intelligence, and Reasoning: 18th …, 2012 | 24 | 2012 |
| New encoding for translating pseudo-boolean constraints into SAT A Aavani, D Mitchell, E Ternovska Tenth Symposium of Abstraction, Reformulation, and Approximation, 2013 | 18 | 2013 |
| Predicting the future state of the robocup simulation environment: heuristic and neural networks approaches M Sharifi, H Mousavian, A Aavani SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems …, 2003 | 17 | 2003 |
| Translating pseudo-boolean constraints into cnf A Aavani International Conference on Theory and Applications of Satisfiability …, 2011 | 16 | 2011 |
| Grounding formulas with complex terms A Aavani, X Wu, E Ternovska, D Mitchell Advances in Artificial Intelligence: 24th Canadian Conference on Artificial …, 2011 | 8 | 2011 |
| Speed-up techniques for negation in grounding A Aavani, S Tasharrofi, G Unel, E Ternovska, D Mitchell Logic for Programming, Artificial Intelligence, and Reasoning: 16th …, 2010 | 7 | 2010 |
| Reducing scan base testing power using genetic algorithm MS Jelodar, A Aavani Proceedings of 11th Iranian Computer Engineering Conference 2, 308, 2006 | 5 | 2006 |
| Enfragmo: A System for Grounding Extended First-Order Logic to SAT A Aavani Simon Fraser University, 2014 | 2 | 2014 |
| Problem Solving with the Enfragmo System A Aavani, D Mitchell, E Ternovska Theory Pract. Log. Program. 13 (4-5-Online-Supplement), 2013 | 1 | 2013 |
| A new adaptive transport protocol for web K Mizanian, MS Jelodar, A Aavani, M Analoui 2006 Canadian Conference on Electrical and Computer Engineering, 1830-1833, 2006 | 1 | 2006 |
| CyberSession: a new proposition for e-learning in collaborative virtual environments J Sadeghi, A Aavani, M Sharifi Václav Skala-UNION Agency, 2005 | 1 | 2005 |
| A Family of Encodings for Translating Pseudo-Boolean Constraints into SAT A Aavani arXiv preprint arXiv:1104.1479, 2011 | | 2011 |
| aaa78@ sfu. ca A Aavani arXiv preprint arXiv:1104.1479, 2011 | | 2011 |
| Estimating The Size Of Regular Languages A Aavani MATH 821-Final Projects December 2010, 4, 2010 | | 2010 |
| Objected-Oriented Analysis in the Application of Simulative Transformer Substation System J Jiang International Conference on Intelligent Systems and Knowledge Engineering …, 2007 | | 2007 |
| Using XCS as a Prediction Engine in Data Compression M Sharifi, A Aavani, S Tasharrofi International Conference on Intelligent Systems and Knowledge Engineering …, 2007 | | 2007 |
| Grounding Count Constraints A Aavani, XN Wu, D Mitchell, E Ternovska | | |
| Information Theoretic Text Classification A Aavani, A Farjudian, M Salmani-Jelodar, A Andalib | | |
| Sepanta Online Coach 2004 Team Description R Zakery, R Hesamifard | | |
