Concepedia

Luca Pulina

LP

23

Publications

730

Citations

15

H-Index

2006

Active since

Affiliations

University of Genoa(Current)

University of Sassari

Johannes Kepler University of Linz

Luca Pulina is an author at University of Genoa specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningData ScienceVerificationArtificial IntelligenceSatisfiabilityMachine Learning

Publications per year

2006–2025

23

Publications

23

Challenging SMT solvers to verify neural networks

Luca Pulina, Armando Tacchella · AI Communications · 2012 · 125 citations

Engineering, Machine Learning, Verification +16

A self-adaptive multi-engine solver for quantified Boolean formulas

Luca Pulina, Armando Tacchella · Constraints · 2008 · 86 citations

Logic Synthesis, Quantified Boolean Formulas, Engineering +7

Minimal module extraction from DL-lite ontologies using QBF solvers

Roman Kontchakov, Luca Pulina, Ulrike Sattler et al. · Research Explorer (The University of Manchester) · 2009 · 69 citations · Full text

A Survey on Applications of Quantified Boolean Formulas

Ankit Shukla, Armin Biere, Luca Pulina et al. · 2019 · 52 citations

Circuit Complexity, Decision Procedure, Fuzzy Logic +15

Automated Verification of Neural Networks: Advances, Challenges and Perspectives

Francesco Leofante, Nina Narodytska, Luca Pulina et al. · arXiv (Cornell University) · 2018 · 51 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +12

Rows per page

1–5 of 23