Folgen
Massimo Narizzano
Massimo Narizzano
Unige, DIBRIS (Dipartimento di Informatica, Bioingegneria, Robotica, e Ingegneria dei Sistemi)
Bestätigte E-Mail-Adresse bei unige.it
Titel
Zitiert von
Zitiert von
Jahr
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
1802001
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
1432006
Backjumping for quantified Boolean logic satisfiability
E Giunchiglia, M Narizzano, A Tacchella
Artificial Intelligence 145 (1-2), 99-120, 2003
1402003
Learning for quantified Boolean logic satisfiability
E Giunchiglia, M Narizzano, A Tacchella
AAAI/IAAI, 649-654, 2002
1272002
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
932017
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
892017
Quantified boolean formulas satisfiability library (qbflib), 2001
E Giunchiglia, M Narizzano, A Tacchella
782006
Reasoning with quantified boolean formulas
E Giunchiglia, P Marin, M Narizzano
Handbook of satisfiability, 761-780, 2009
742009
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
672015
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
612004
sQueezeBF: An effective preprocessor for QBFs based on equivalence reasoning
E Giunchiglia, P Marin, M Narizzano
International Conference on Theory and Applications of Satisfiability …, 2010
582010
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
562006
QuBE++: An Efficient QBF Solver
E Giunchiglia, M Narizzano, A Tacchella
International Conference on Formal Methods in Computer-Aided Design, 201-213, 2004
542004
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
402009
QuBE7. 0
E Giunchiglia, P Marin, M Narizzano
Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 83-88, 2010
382010
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
342010
The second QBF solvers comparative evaluation
D Le Berre, M Narizzano, L Simon, A Tacchella
International Conference on Theory and Applications of Satisfiability …, 2004
342004
Quantified Boolean formulas satisfiability library (QBFLIB)
E Giunchiglia, M Narizzano, A Tacchella
Website http://www. qbflib. org, 2001
332001
Retrospective evaluation and SEEG trajectory analysis for interactive multi-trajectory planner assistant
D Scorza, E De Momi, L Plaino, G Amoroso, G Arnulfo, M Narizzano, ...
International journal of computer assisted radiology and surgery 12, 1727-1738, 2017
302017
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows
P Marin, M Narizzano, L Pulina, A Tacchella, E Giunchiglia
Fundamenta Informaticae 149 (1-2), 133-158, 2016
292016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20