| QUBE: A system for deciding quantified boolean formulas satisfiability E Giunchiglia, M Narizzano, A Tacchella Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001 | 176 | 2001 |
| Backjumping for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella Artificial Intelligence 145 (1-2), 99-120, 2003 | 138 | 2003 |
| Clause/term resolution and learning in the evaluation of quantified Boolean formulas E Giunchiglia, M Narizzano, A Tacchella Journal of Artificial Intelligence Research 26, 371-416, 2006 | 137 | 2006 |
| Learning for quantified Boolean logic satisfiability E Giunchiglia, M Narizzano, A Tacchella AAAI/IAAI, 649-654, 2002 | 127 | 2002 |
| Quantified boolean formulas satisfiability library (qbflib), 2001 E Giunchiglia, M Narizzano, A Tacchella | 75 | 2006 |
| A new tool for touch-free patient registration for robot-assisted intracranial surgery: application accuracy from a phantom study and a retrospective surgical series F Cardinale, M Rizzi, P d’Orio, G Casaceli, G Arnulfo, M Narizzano, ... Neurosurgical Focus 42 (5), E8, 2017 | 72 | 2017 |
| Reasoning with quantified boolean formulas E Giunchiglia, P Marin, M Narizzano Handbook of satisfiability, 761-780, 2009 | 69 | 2009 |
| SEEG assistant: a 3DSlicer extension to support epilepsy surgery M Narizzano, G Arnulfo, S Ricci, B Toselli, M Tisdall, A Canessa, MM Fato, ... BMC bioinformatics 18, 1-13, 2017 | 58 | 2017 |
| Watched data structures for QBF solvers I Gent, E Giunchiglia, M Narizzano, A Rowley, A Tacchella Theory and Applications of Satisfiability Testing: 6th International …, 2004 | 58 | 2004 |
| sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. E Giunchiglia, P Marin, M Narizzano SAT 6175, 85-98, 2010 | 55 | 2010 |
| Automatic segmentation of deep intracerebral electrodes in computed tomography scans G Arnulfo, M Narizzano, F Cardinale, MM Fato, JM Palva BMC bioinformatics 16, 1-12, 2015 | 54 | 2015 |
| Report of the third QBF solvers evaluation M Narizzano, L Pulina, A Tacchella Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 145-164, 2006 | 54 | 2006 |
| QuBE++: An Efficient QBF Solver E Giunchiglia, M Narizzano, A Tacchella Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD …, 2004 | 54 | 2004 |
| QuBE7. 0 E Giunchiglia, P Marin, M Narizzano Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 83-88, 2010 | 40 | 2010 |
| Evaluating and certifying QBFs: A comparison of state-of-the-art tools M Narizzano, C Peschiera, L Pulina, A Tacchella AI communications 22 (4), 191-210, 2009 | 37 | 2009 |
| The second QBF solvers comparative evaluation D Le Berre, M Narizzano, L Simon, A Tacchella SAT (Selected Papers, 376-392, 2004 | 35 | 2004 |
| Using bounded model checking for coverage analysis of safety-critical software in an industrial setting D Angeletti, E Giunchiglia, M Narizzano, A Puddu, S Sabina Journal of Automated Reasoning 45, 397-414, 2010 | 31 | 2010 |
| Quantified Boolean formulas satisfiability library (QBFLIB) E Giunchiglia, M Narizzano, A Tacchella Website http://www. qbflib. org, 2001 | 29 | 2001 |
| Quantifier structure in search based procedures for QBFs E Giunchiglia, M Narizzano, A Tacchella Proceedings of the Design Automation & Test in Europe Conference 1, 6 pp., 2006 | 25 | 2006 |
| Monotone literals and learning in QBF reasoning E Giunchiglia, M Narizzano, A Tacchella Principles and Practice of Constraint Programming–CP 2004: 10th …, 2004 | 25 | 2004 |
Armando TacchellaProfessor, Information Processing Systems, University of GenoaVerified email at unige.it
