by Oh, Chanseok
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (01.01.2015)

by Biere, Armin, Fröhlich, Andreas
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Balyo, Tomáš, Sanders, Peter, Sinz, Carsten
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Douglass, Adam, King, Andrew D., Raymond, Jack
Published in Lecture notes in computer science (2015)

by Philipp, Tobias, Steinke, Peter
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Chen, Ruiwen, Santhanam, Rahul
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Burchard, Jan, Schubert, Tobias, Becker, Bernd
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Cai, Shaowei, Luo, Chuan, Su, Kaile
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Arif, M. Fareed, Mencía, Carlos, Marques-Silva, Joao
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Wimmer, Ralf, Gitina, Karina, Nist, Jennifer, Scholl, Christoph, Becker, Bernd
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Neves, Miguel, Martins, Ruben, Janota, Mikoláš, Lynce, Inês, Manquinho, Vasco
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Tu, Kuan-Hua, Hsu, Tzu-Chien, Jiang, Jie-Hong R.
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Ansótegui, Carlos, Giráldez-Cru, Jesús, Levy, Jordi, Simon, Laurent
Published in Lecture notes in computer science (2015)

by Ignatiev, Alexey, Previti, Alessandro, Marques-Silva, Joao
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Bova, Simone, Capelli, Florent, Mengel, Stefan, Slivovsky, Friedrich
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Falkner, Stefan, Lindauer, Marius, Hutter, Frank
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Ganian, Robert, Szeider, Stefan
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Newsham, Zack, Lindsay, William, Ganesh, Vijay, Liang, Jia Hui, Fischmeister, Sebastian, Czarnecki, Krzysztof
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Kullmann, Oliver, Marques-Silva, João
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

by Hyvärinen, Antti E. J., Marescotti, Matteo, Sharygina, Natasha
Published in Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)