Luca Pulina

Identifiers

• name variant Luca Pulina 0.60 · backfill

Papers (6)

1. The QBF Gallery 2023 cs.LO · 2026 · author #2
2. SMarTplan: a Task Planner for Smart Factories cs.AI · 2018 · author #3
3. Automated Verification of Neural Networks: Advances, Challenges and Perspectives cs.AI · 2018 · author #3
4. Constrained Image Generation Using Binarized Neural Networks with Decision Procedures cs.CV · 2018 · author #3
5. Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals cs.LO · 2017 · author #2
6. The Multi-engine ASP Solver ME-ASP: Progress Report cs.AI · 2014 · author #2

Mentions

• 1405.0876 #2 · backfill · confidence 0.70 Luca Pulina

Frequent Coauthors

• Armando Tacchella 4 shared papers
• Francesco Leofante 2 shared papers
• Nina Narodytska 2 shared papers
• Arthur Bit-Monnot 1 shared papers
• Erika Abraham 1 shared papers
• Francesco Ricca 1 shared papers
• Marco Maratea 1 shared papers
• Martina Seidl 1 shared papers
• Massimo Narizzano 1 shared papers
• Mooly Sagiv 1 shared papers
• Nikolaj Bjorner 1 shared papers
• Simone Heisinger 1 shared papers
• Simone Vuotto 1 shared papers
• Svyatoslav Korneev 1 shared papers