Author of the publication

Reasoning with Quantified Boolean Formulas.

, , and . Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, IOS Press, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Narizzano, Massimo
add a person with the name Narizzano, Massimo
 

Other publications of authors with the same name

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