Open AccessCombining finite and continuous solvers Towards a simpler solver maintenance
Author(s) -
Jean-Guillaume Fages,
Gilles Chabert,
Charles Prud’Homme
Publication year - 2013
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - solver , computer science , reliability (semiconductor) , simple (philosophy) , quality (philosophy) , software quality , software , software engineering , software development , programming language , power (physics) , philosophy , physics , epistemology , quantum mechanics