Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Amadini, Roberto
and
Stuckey, Peter J.
2014.
Principles and Practice of Constraint Programming.
Vol. 8656,
Issue. ,
p.
108.
Amadini, Roberto
Biselli, Fabio
Gabbrielli, Maurizio
Liu, Tong
and
Mauro, Jacopo
2015.
Feature Selection for SUNNY: A Study on the Algorithm Selection Library.
p.
25.
Amadini, Roberto
Gabbrielli, Maurizio
and
Mauro, Jacopo
2015.
SUNNY-CP.
p.
1861.
Björdal, Gustav
Monette, Jean-Noël
Flener, Pierre
and
Pearson, Justin
2015.
A constraint-based local search backend for MiniZinc.
Constraints,
Vol. 20,
Issue. 3,
p.
325.
Bischl, Bernd
Kerschke, Pascal
Kotthoff, Lars
Lindauer, Marius
Malitsky, Yuri
Fréchette, Alexandre
Hoos, Holger
Hutter, Frank
Leyton-Brown, Kevin
Tierney, Kevin
and
Vanschoren, Joaquin
2016.
ASlib: A benchmark library for algorithm selection.
Artificial Intelligence,
Vol. 237,
Issue. ,
p.
41.
Elmandouh, Eman M.
and
Wassal, Amr G.
2018.
Guiding Formal Verification Orchestration Using Machine Learning Methods.
ACM Transactions on Design Automation of Electronic Systems,
Vol. 23,
Issue. 5,
p.
1.
Nikolić, Mladen
Marinković, Vesna
Kovács, Zoltán
and
Janičić, Predrag
2019.
Portfolio theorem proving and prover runtime prediction for geometry.
Annals of Mathematics and Artificial Intelligence,
Vol. 85,
Issue. 2-4,
p.
119.
Wang, Wenxi
Søndergaard, Harald
and
Stuckey, Peter J.
2019.
Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation.
Journal of Automated Reasoning,
Vol. 63,
Issue. 3,
p.
723.
Lindauer, Marius
van Rijn, Jan N.
and
Kotthoff, Lars
2019.
The algorithm selection competitions 2015 and 2017.
Artificial Intelligence,
Vol. 272,
Issue. ,
p.
86.
Wang, Wenxi
Wang, Kaiyuan
Zhang, Mengshi
and
Khurshid, Sarfraz
2019.
Learning to Optimize the Alloy Analyzer.
p.
228.
Dantas, Augusto
and
Pozo, Aurora
2020.
On the use of fitness landscape features in meta-learning based algorithm selection for the quadratic assignment problem.
Theoretical Computer Science,
Vol. 805,
Issue. ,
p.
62.
Scott, Joseph
Niemetz, Aina
Preiner, Mathias
Nejati, Saeed
and
Ganesh, Vijay
2021.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 12652,
Issue. ,
p.
303.
Mısır, Mustafa
2021.
Learning and Intelligent Optimization.
Vol. 12931,
Issue. ,
p.
237.
Amadini, Roberto
Gange, Graeme
Schachte, Peter
Søndergaard, Harald
and
Stuckey, Peter J.
2021.
Logic-Based Program Synthesis and Transformation.
Vol. 12561,
Issue. ,
p.
192.
Hanselle, Jonas
Tornede, Alexander
Wever, Marcel
and
Hüllermeier, Eyke
2021.
Advances in Knowledge Discovery and Data Mining.
Vol. 12712,
Issue. ,
p.
152.
DOVIER, AGOSTINO
FORMISANO, ANDREA
GUPTA, GOPAL
HERMENEGILDO, MANUEL V.
PONTELLI, ENRICO
and
ROCHA, RICARDO
2022.
Parallel Logic Programming: A Sequel.
Theory and Practice of Logic Programming,
Vol. 22,
Issue. 6,
p.
905.
Misir, Mustafa
2022.
Cross-domain Algorithm Selection: Algorithm Selection across Selection Hyper-heuristics.
p.
22.
Tornede, Alexander
Gehring, Lukas
Tornede, Tanja
Wever, Marcel
and
Hüllermeier, Eyke
2023.
Algorithm selection on a meta level.
Machine Learning,
Vol. 112,
Issue. 4,
p.
1253.
Scott, Joseph
Niemetz, Aina
Preiner, Mathias
Nejati, Saeed
and
Ganesh, Vijay
2023.
Algorithm selection for SMT.
International Journal on Software Tools for Technology Transfer,
Vol. 25,
Issue. 2,
p.
219.
TÜZ EBESEK, Özlem
2024.
A Comparison of Home Purchase and Liquid Lazy Portfolio Returns in Turkey.
Osmaniye Korkut Ata Üniversitesi Fen Bilimleri Enstitüsü Dergisi,
Vol. 7,
Issue. 1,
p.
367.