Pages that link to "Item:Q1953299"

The following pages link to Automated deduction -- CADE-24. 24th international conference on automated deduction, Lake Placid, NY, USA, June 9--14, 2013. Proceedings (Q1953299):

Displaying 3 items.

• MaLeS: a framework for automatic tuning of automated theorem provers (Q286787) (← links)
• A superposition calculus for abductive reasoning (Q2013317) (← links)
• Constraint solving for finite model finding in SMT solvers (Q4593094) (← links)