Concepedia
Statistics
Publications
18
Citations
340
H-Index
12
Active since
2000
Affiliations
University of Perugia(Current)
University of L'Aquila
University of Udine
New Mexico State University
Sapienza University of Rome
Andrea Formisano is an author at University of Perugia specializing in computer science, computing, and knowledge representation.
Publications per year
2000–2014
CUD@SAT: SAT solving on GPUs
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano et al. · Journal of Experimental & Theoretical Artificial Intelligence · 2014 · 45 citations
Computing, Computer Science, High-performance Computing +17
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
Agostino Dovier, Andrea Formisano, Enrico Pontelli · Journal of Experimental & Theoretical Artificial Intelligence · 2009 · 42 citations
Computing, Computer Science, Algorithms +13
Modeling preferences and conditional preferences on resource consumption and production in ASP
Stefania Costantini, Andrea Formisano · Journal of Algorithms · 2009 · 36 citations
Business, Decision Sciences, Economics +12
Answer Set Programming with Resources
Stefania Costantini, Andrea Formisano · Journal of Logic and Computation · 2009 · 25 citations
Computing, Computer Science, Knowledge Representation +7
Extending and Implementing RASP
Stefania Costantini, Andrea Formisano, Davide Petturiti · Fundamenta Informaticae · 2010 · 22 citations
Computing, Computer Science, Artificial Intelligence +7
1–5 of 18