Date: 2017-08-02 07:37:32Theoretical computer science Logic in computer science Formal methods Automated reasoning Constraint programming Automated theorem proving Satisfiability modulo theories Solver Answer set programming Satz Model checking Algorithm selection | | Do Portfolio Solvers Harm? Christoph Weidenbach Max Planck Insitute for Informatics Saarland Informatics CampusSaarbr¨ ucken, GermanyAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 187,20 KBShare Document on Facebook
|