Type de document :
Communication dans un congrès
4th Workshop on Practical Aspects of Automated Reasoning, Jul 2014, Vienna, Austria. Konev, Boris and de Moura, Leonardo and Schulz, Stephan. 4th Workshop on Practical Aspects of Automated Reasoning (PAAR 2014), Jul 2014, Vienna, Austria