Amir Aavani

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Search Problems

Human Problem Solving

Top Venues

Theory Pract. Log. Program.

Publications

Amir Aavani, Eugenia Ternovska, David G. Mitchell
Problem Solving with the Enfragmo System. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Amir Aavani, David G. Mitchell, Eugenia Ternovska
New Encoding for Translating Pseudo-Boolean Constraints into SAT. SARA (2013)
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)
Amir Aavani
Translating Pseudo-Boolean Constraints into CNF. SAT (2011)
Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell
Grounding Formulas with Complex Terms. Canadian Conference on AI (2011)
Amir Aavani
Translating Pseudo-Boolean Constraints into CNF CoRR (2011)
Amir Aavani, Shahab Tasharrofi, Gulay Ünel, Eugenia Ternovska, David G. Mitchell
Speed-Up Techniques for Negation in Grounding. LPAR (Dakar) (2010)
Kiarash Mizanian, Mehdi Salmani Jelodar, Amir Aavani, Morteza Analoui
A New Adaptive Transport Protocol for Web. CCECE (2006)
Mohsen Sharifi, Hamed Mousavian, Amir Aavani
Predicting the future state of the RoboCup simulation environment: heuristic and neural networks approaches. SMC (2003)