( en | de | ru )

 

Disambiguation of "Narizzano, Massimo"

Author of the publication

copydeleteadd this publication to your clipboard
Report of the Third QBF Solvers Evaluation.

, , and . J. Satisf. Boolean Model. Comput., 2 (1-4): 145-164 (2006)

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.

Massimo Viola

Massimo Malagó

Massimo Tallarida

Massimo Moser

Massimo Busin

 

Other publications of authors with the same name

Report of the Third QBF Solvers Evaluation., , and . J. Satisf. Boolean Model. Comput., 2 (1-4): 145-164 (2006)Reasoning with Quantified Boolean Formulas., , and . Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, IOS Press, (2009)Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas., , and . J. Artif. Intell. Res., (2006)Quantifier Structure in Search-Based Procedures for QBFs., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 26 (3): 497-507 (2007)Watched Data Structures for QBF Solvers., , , , and . SAT, volume 2919 of Lecture Notes in Computer Science, page 25-36. Springer, (2003)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)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)Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals., , , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 383-398. Springer, (2018)The Second QBF Solvers Comparative Evaluation., , , and . SAT (Selected Papers, volume 3542 of Lecture Notes in Computer Science, page 376-392. Springer, (2004)Reasoning with Quantified Boolean Formulas., , and . Handbook of Satisfiability, volume 336 of Frontiers in Artificial Intelligence and Applications, IOS Press, (2021)