PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Narizzano, Massimo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Quantifier Structure in Search-Based Procedures for QBFs.

, , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 26 (3): 497-507 (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Narizzano, Massimo
Eine Person hinzufügen mit dem Namen Narizzano, Massimo
 

Weitere Publikationen von Autoren mit dem selben Namen

Report of the Third QBF Solvers Evaluation., , und . JSAT, 2 (1-4): 145-164 (2006)Reasoning with Quantified Boolean Formulas., , und . Handbook of Satisfiability, Volume 185 von Frontiers in Artificial Intelligence and Applications, IOS Press, (2009)Watched Data Structures for QBF Solvers., , , , und . SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 25-36. Springer, (2003)Improving the Automatic Test Generation process for Coverage Analysis using CBMC., , , , , und . RCRA@AI*IA, Volume 589 von CEUR Workshop Proceedings, CEUR-WS.org, (2009)An Empirical Perspective on Ten Years of QBF Solving., , , , und . RCRA@AI*IA, Volume 1451 von CEUR Workshop Proceedings, Seite 62-75. CEUR-WS.org, (2015)Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas., , und . J. Artif. Intell. Res., (2006)Quantifier Structure in Search-Based Procedures for QBFs., , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 26 (3): 497-507 (2007)Evaluating and certifying QBFs: A comparison of state-of-the-art tools., , , und . AI Commun., 22 (4): 191-210 (2009)Learning for Quantified Boolean Logic Satisfiability., , und . AAAI/IAAI, Seite 649-654. AAAI Press / The MIT Press, (2002)Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting., , , , und . J. Autom. Reasoning, 45 (4): 397-414 (2010)