most citedNuRadioMC: Simulating the radio emission of neutrinos from interaction to detector

47 citations

collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Towards a Certifying Grounder

Daimy Van Caudenberg, Alexander Ek, Carlos Cantero +1

Grounding, the translation of high-level theories into equivalent quantifier-free formulas, is a crucial step in declarative solving, yet it has so far escaped the proof-logging re…