8 citations
- Centre National de la Recherche ScientifiqueFR3 papers
- University of BirminghamGB2 papers
- University of OxfordGB2 papers
- Aalborg UniversityDK1 paper
- Aarhus UniversityDK1 paper
- Bar-Ilan UniversityIL1 paper
- Boğaziçi UniversityTR1 paper
- Chalmers University of TechnologySE1 paper
- École Normale Supérieure de RennesFR1 paper
- Film IndependentUS1 paper
- Fondazione Bruno KesslerIT1 paper
- IMDEA Software InstituteES1 paper
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2026
Prover-Adversary games for systems over (non-deterministic) branching programs
Anupam Das, Avgerinos Delkos
We introduce Pudlak-Buss style Prover-Adversary games to characterise proof systems reasoning over deterministic branching programs (BPs) and non-deterministic branching programs (…
cs.CC2025
Enumeration and updates for conjunctive linear algebra queries through expressibility
Thomas Muñoz, Cristian Riveros, Stijn Vansummeren
Due to the importance of linear algebra and matrix operations in data analytics, there is significant interest in using relational query optimization and processing techniques for…