( en | de | ru )

 

Disambiguation of "Tacchella, Armando"

Author of the publication

copydeleteadd this publication to your clipboard
Quantifier Structure in Search-Based Procedures for QBFs.

, , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 26 (3): 497-507 (2007)

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.

Paolo Tacchella

Armando Garcia

Armando Torres

Armando Moschetti

Armando Beccaria

 

Other publications of authors with the same name

NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks., , and . CoRR, (2020)Report of the Third QBF Solvers Evaluation., , and . J. Satisf. Boolean Model. Comput., 2 (1-4): 145-164 (2006)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)Computational thinking for beginners: A successful experience using Prolog., , , , , , , , , and 2 other author(s). CILC, volume 1459 of CEUR Workshop Proceedings, page 31-45. CEUR-WS.org, (2015)Concrete vs. Symbolic Simulation To Assess Cyber-Resilience Of Control Systems., and . ECMS, page 433-439. European Council for Modeling and Simulation, (2018)pyNeVer: A Framework for Learning and Verification of Neural Networks., , and . ATVA, volume 12971 of Lecture Notes in Computer Science, page 357-363. Springer, (2021)OT Cyber Security Frameworks Comparison Tool (CSFCTool)., , , and . ITASEC, volume 2940 of CEUR Workshop Proceedings, page 9-22. CEUR-WS.org, (2021)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)