randoCoP

swMATH15149MaRDI QIDQ27042FDOQ27042

Author name not available (Why is that?)

Official website: http://jens-otten.de/papers/randocop_paar08.pdf

Cited In (7)

• Vampire getting noisy: Will random bits help conquer chaos? (system description)
• Fast and slow enigmas and parental guidance
• Eliminating models during model elimination
• Learning theorem proving components
• Machine learning guidance for connection tableaux
• Efficient Low-Level Connection Tableaux
• BanditFuzz

This page was built for software: randoCoP