Massimo Narizzano
Massimo Narizzano
Unige, DIBRIS (Dipartimento di Informatica, Bioingegneria, Robotica, e Ingegneria dei Sistemi)
Email verificata su unige.it
Titolo
Citata da
Citata da
Anno
QUBE: A system for deciding quantified boolean formulas satisfiability
E Giunchiglia, M Narizzano, A Tacchella
International Joint Conference on Automated Reasoning, 364-369, 2001
1712001
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
1382006
Backjumping for quantified Boolean logic satisfiability
E Giunchiglia, M Narizzano, A Tacchella
Artificial Intelligence 145 (1-2), 99-120, 2003
1272003
Learning for quantified boolean logic satisfiability
E Giunchiglia, M Narizzano, A Tacchella
AAAI/IAAI, 649-654, 2002
922002
Quantified boolean formulas satisfiability library (qbflib), 2001
E Giunchiglia, M Narizzano, A Tacchella
662006
Reasoning with quantified boolean formulas
A Biere, M Heule, H van Maaren, T Walsch
11.12. 1. Autarkies and qualitative matrix analysis, 761, 2009
592009
Watched data structures for QBF solvers
I Gent, E Giunchiglia, M Narizzano, A Rowley, A Tacchella
International Conference on Theory and Applications of Satisfiability …, 2003
552003
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
522010
QuBE++: An efficient QBF solver
E Giunchiglia, M Narizzano, A Tacchella
International Conference on Formal Methods In Computer-Aided Design, 201-213, 2004
522004
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
472006
QuBE7. 0
E Giunchiglia, P Marin, M Narizzano
Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 83-88, 2010
362010
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
352009
Automatic segmentation of deep intracerebral electrodes in computed tomography scans
G Arnulfo, M Narizzano, F Cardinale, MM Fato, JM Palva
BMC bioinformatics 16 (1), 99, 2015
302015
The second QBF solvers comparative evaluation
D Le Berre, M Narizzano, L Simon, A Tacchella
International Conference on Theory and Applications of Satisfiability …, 2004
292004
Clause-term resolution and learning in quantified Boolean logic satisfiability
E Giunchiglia, M Narizzano, A Tacchella
Artificial Intelligence Research 26 (1), 371-416, 2006
272006
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 (4), 397-414, 2010
242010
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
242006
Monotone literals and learning in QBF reasoning
E Giunchiglia, M Narizzano, A Tacchella
International Conference on Principles and Practice of Constraint …, 2004
232004
Quantifier structure in search-based procedures for QBFs
E Giunchiglia, M Narizzano, A Tacchella
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2007
222007
QBF reasoning on real-world instances
E Giunchiglia, M Narizzano, A Tacchella
International Conference on Theory and Applications of Satisfiability …, 2004
222004
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20