Amir Aavani

According to our database, Amir Aavani authored at least 8 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Problem Solving with the Enfragmo System.

Amir Aavani, Eugenia Ternovska, David G. Mitchell

Theory Pract. Log. Program., 2013

New Encoding for Translating Pseudo-Boolean Constraints into SAT.

Amir Aavani, David G. Mitchell, Eugenia Ternovska

Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

2012

Enfragmo: A System for Modelling and Solving Search Problems with Logic.

Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2011

Translating Pseudo-Boolean Constraints into CNF.

Amir Aavani

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Grounding Formulas with Complex Terms.

Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell

Proceedings of the Advances in Artificial Intelligence, 2011

2010

Speed-Up Techniques for Negation in Grounding.

Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2006

A New Adaptive Transport Protocol for Web.

Kiarash Mizanian, Mehdi Salmani Jelodar, Amir Aavani, Morteza Analoui

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

2003

Predicting the future state of the RoboCup simulation environment: heuristic and neural networks approaches.

Mohsen Sharifi, Hamed Mousavian, Amir Aavani

Proceedings of the IEEE International Conference on Systems, 2003