Niccol Rigi-Luperti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2025–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Mallob: Scalable Automated Reasoning on Demand. | Dominik Schreiber, Niccol Rigi-Luperti, Peter Sanders |
| 2026 | ESA | Practical Bit Vectors Supporting Constant Time Rank and Select in Optimal Space. | Florian Kurpicz, Niccol Rigi-Luperti, Peter Sanders |
| 2025 | SAT | Streamlining Distributed SAT Solver Design. | Dominik Schreiber, Niccol Rigi-Luperti, Armin Biere |