Skip to search formSkip to main contentSkip to account menu

Alt-Ergo

Alt-Ergo is an automatic solver for mathematical formulas, specifically designed for program verification. It is based on satisfiability modulo… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Automated theorem provingB-MethodFrama-CRodin tool

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Alt-Ergo 2.2
Alt-Ergo is an SMT solver jointly developed by Universite Paris-Sud and the OCamlPro company. The first version was released in… 
2016
2016
Hemodiyaliz Hastalarının Sıvı Kısıtlamasına Uyumlarının Değerlendirilmesi
Bu caliĢma; hemodiyaliz hastalarinin sivi kisitlamasina uyumlarini degerlendirmek ama-ciyla tanimlayici olarak yapildi. CaliĢma… 
2016
2016
Improved efficiency in organic solar cells via conjugated polyelectrolyte additive in the hole transporting layer
An anionic conjugated polyelectrolyte poly[(9,9-bis(4-sulfonatobutyl sodium) fluorene-alt-phenylene)-ran-(4,7-di-2-thienyl-2,1,3… 
Highly Cited
2011
Highly Cited
2011
Carbazole-Based Ladder-Type Heptacylic Arene with Aliphatic Side Chains Leading to Enhanced Efficiency of Organic Photovoltaics
By utilizing Friedel−Crafts cyclization, we have successfully designed and synthesized a ladder-type heptacyclic carbazole… 
Highly Cited
2008
Highly Cited
2008
Efficient all-polymer solar cells based on blend of tris(thienylenevinylene)-substituted polythiophene and poly[perylene diimide-alt-bis(dithienothiophene)]
A narrow band-gap alternating copolymer of perylene diimide and bis(dithienothiophene) (2) and a polythiophene derivative… 
Review
2008
Review
2008
Taking Causality Seriously in Comparative Constitutional Law: Insights from Comparative Politics and Comparative Political Economy
By highlighting the many ways that constitutions vary, comparative constitutional law raises interesting and important causal… 
Highly Cited
2006
Highly Cited
2006
Novel self-assembled metallo-homopolymers and metallo-alt-copolymer containing terpyridyl zinc(II) moieties
A series of novel terpyridyl Zn(II))-based metallo-polymers, including metallo-homopolymers and metallo-alt-copolymer, containing… 
1989
1989
Role of activation of lipid peroxidation in the pathogenesis of experimental peritonitis
: Investigation was carried out for studying the role of lipid peroxidation (LP) in the genesis of destructive process in the… 
Highly Cited
1985
Highly Cited
1985
Platinum-group-mineral inclusions in ophiolitic chromitite from the Vourinos Complex, Greece
INTRODUcTIoN Several types of platinum-group-mineral @GM) incluParticular attention has recently been paid to the sions have been… 
1973
1973
Design and analysis of boiler-turbine-generator controls using optimal linear regulator theory
The demand for improved dynamic response of fossil-fired power plants has motivated a comprehensive program of control system… 
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)