output
20072019
most citedAdaptive Importance Sampling in General Mixture Classes

208 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2017

Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving

Catherine Dubois, Bruno Woltzenlogel Paleo

This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on September 23-24, 2017 as part of the Tableaux, FroCoS…