Amir Aavani
Title
Cited by
Cited by
Year
Enfragmo: A system for modelling and solving search problems with logic
A Aavani, XN Wu, S Tasharrofi, E Ternovska, D Mitchell
International Conference on Logic for Programming Artificial Intelligence …, 2012
242012
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
172003
New encoding for translating pseudo-boolean constraints into SAT
A Aavani, D Mitchell, E Ternovska
Tenth Symposium of Abstraction, Reformulation, and Approximation, 2013
152013
Translating pseudo-boolean constraints into cnf
A Aavani
International Conference on Theory and Applications of Satisfiability …, 2011
142011
Grounding formulas with complex terms
A Aavani, XN Wu, E Ternovska, D Mitchell
Canadian Conference on Artificial Intelligence, 13-25, 2011
82011
Speed-up techniques for negation in grounding
A Aavani, S Tasharrofi, G Unel, E Ternovska, D Mitchell
International Conference on Logic for Programming Artificial Intelligence …, 2010
72010
Reducing scan base testing power using genetic algorithm
MS Jelodar, A Aavani
Proceedings of 11th Iranian Computer Engineering Conference 2, 308, 2006
52006
Enfragmo: A System for Grounding Extended First-Order Logic to SAT
A Aavani
Applied Sciences: School of Computing Science, 2014
12014
Problem Solving with the Enfragmo System
A Aavani, D Mitchell, E Ternovska
Theory Pract. Log. Program. 13 (4-5-Online-Supplement), 2013
12013
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
12006
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
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
CyberSession: a new proposition for e-learning in collaborative virtual environments
J Sadeghi, A Aavani, M Sharifi
Václav Skala-UNION Agency, 2005
2005
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
The system can't perform the operation now. Try again later.
Articles 1–18