Open AccessStochastic Local Search for Satisfiability Modulo Theories
Author(s) -
Andreas Fröhlich,
Armin Biere,
Christoph M. Wintersteiger,
Youssef Hamadi
Publication year - 2015
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v29i1.9372
Subject(s) - satisfiability modulo theories , computer science , modular design , satisfiability , theoretical computer science , solver , modulo , domain (mathematical analysis) , boolean satisfiability problem , software , algorithm , programming language , mathematics , discrete mathematics , mathematical analysis