Statistics
Publications
2
Citations
64
H-Index
2
Active since
1998
Affiliations
University of Pisa(Current)
Gabriella Rago is an author at University of Pisa specializing in computer science, constraint satisfaction, and optimization.
Publications per year
1998–2002
2
2
Max Horn SAT and the minimum cut problem in directed hypergraphs
Giorgio Gallo, Carlo Gentile, Daniele Pretolani et al. · Mathematical Programming · 1998 · 33 citations · Full text
Partial Instantiation Methods for Inference in First-Order Logic
John Hooker, Gabriella Rago, Vijay Chandru et al. · Journal of Automated Reasoning · 2002 · 31 citations
1–2 of 2