Skip to search formSkip to main contentSkip to account menu

CADE ATP System Competition

Known as: CASC 
The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical first order logic. CASC is associated… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Association for Automated ReasoningAutomated theorem provingCompetitions and prizes in artificial intelligenceConference on Automated Deduction

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Modelling of Metal Oxide Surge Arresters in Simulation Software DYNAST
This paper describes the possibilities for mathematical modelling of gap-less surge arresters in the simulation software DYNAST… 
2014
2014
Investigation of phase shifting transformers in distribution systems for harmonics mitigation
The increase of non-linear loads in the supply network, specifically the proliferation of harmonic type loads are research topics… 
Review
2013
Review
2013
The Emergence of the Empresas Recuperadas Por Sus Trabajadores: A Political Economic and Sociological Appraisal of Two Decades of Self-Management in Argentina
The crisis of Argentina’s neoliberal model that escalated throughout the 1990s, driven in part by the zealousness of how IMF… 
2011
2011
Autonomous Orchard Vehicles for Specialty Crops Production
Comprehensive Automation for Specialty Crops (CASC) is a four-year project to develop crop intelligence and agricultural… 
2009
2009
Output characteristics of photovoltaic cell based on EMTP/ATP model
  • Ye Lin
  • 2009
  • Corpus ID: 113265839
Based on the analysis of the main influencing factors of PV cell output characteristics:cell temperature and solar radiation,a… 
2003
2003
Optimization of process variables for the extractive fermentation of 2,3-butanediol by Kiebsiella oxytoca in aqueous two-phase system using response surface methodology
Aqueous two-phase (ATP) extractive fermentation is a novel technique which can overcome some of the limitations of the… 
Highly Cited
1998
Highly Cited
1998
Degradation of active-oxygen-modified ribulose-1,5-bisphosphate carboxylase/oxygenase by chloroplastic proteases requires ATP-hydrolysis
Abstract. Active oxygen (AO) species generated in plants under stress conditions trigger degradation of Rubisco (EC 4.1.1.39). To… 
1997
1997
Towards a strategic cleaning assessment programme: hygiene monitoring and ATP luminometry, an options appraisal
1996
1996
Atp-lipids - protein anchor and energy source in two dimensions
The ubiquitous function of ATP as energy equivalent in nature has resulted in a common folding pattern of ATP-binding proteins… 
1989
1989
Effects of suramin and α,β-methylene ATP indicate noradrenaline-ATP co-transmission in the response of the mouse vas deferens to single and low frequency pulses
SummaryVasa deferentia from mice were field-stimulated by trains of 10 pulses delivered at 0.5 Hz. The pulses elicited separate… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)