Amir Aavani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2003–2012
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | LPAR | Enfragmo: A System for Modelling and Solving Search Problems with Logic. | Amir Aavani, Xiongnan (Newman) Wu, Shahab Tasharrofi, Eugenia Ternovska, David G. Mitchell |
| 2011 | AI | Grounding Formulas with Complex Terms. | Amir Aavani, Xiongnan (Newman) Wu, Eugenia Ternovska, David G. Mitchell |
| 2011 | SAT | Translating Pseudo-Boolean Constraints into CNF. | Amir Aavani |
| 2010 | LPAR | Speed-Up Techniques for Negation in Grounding. | Amir Aavani, Shahab Tasharrofi, Gulay nel, Eugenia Ternovska, David G. Mitchell |
| 2003 | SMC | Predicting the future state of the RoboCup simulation environment: heuristic and neural networks approaches. | Mohsen Sharifi, Hamed Mousavian, Amir Aavani |