Massimo Narizzano

From MaRDI portal
Person:814444

Available identifiers

zbMath Open narizzano.massimoWikidataQ62036602 ScholiaQ62036602MaRDI QIDQ814444

List of research outcomes





PublicationDate of PublicationType
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows2017-11-09Paper
sQueezeBF: an effective preprocessor for QBFs based on equivalence reasoning2010-09-29Paper
Evaluating and certifying QBFs: a comparison of state-of-the-art tools2010-01-27Paper
Theory and Applications of Satisfiability Testing2009-07-24Paper
Clause/Term resolution and learning in the evaluation of quantified Boolean formulas2009-04-28Paper
Principles and Practice of Constraint Programming – CP 20042008-09-09Paper
Report of the third QBF solvers evaluation2007-03-30Paper
Formal Methods in Computer-Aided Design2006-10-20Paper
Backjumping for quantified Boolean logic satisfiability2006-02-07Paper
Theory and Applications of Satisfiability Testing2005-12-16Paper
Theory and Applications of Satisfiability Testing2005-12-16Paper
https://portal.mardi4nfdi.de/entity/Q47992522003-03-18Paper
https://portal.mardi4nfdi.de/entity/Q45396202002-07-10Paper
Towards an efficient library for SAT: A manifesto2001-09-24Paper

Research outcomes over time

This page was built for person: Massimo Narizzano

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:814444&oldid=7144257"
Powered by MediaWiki