Author:
Menouer Tarek,Baarir Souheib
Reference25 articles.
1. PeneLoPe, a Parallel Clause-Freezer Solver;Audemard;SAT Challenge: Solver and Benchmarks Descriptions,2012
2. Gilles Audemard, Jean-Marie Lagniez, and Laurent Simon. Improving glucose for incremental sat solving with assumptions: Application to mus extraction. In Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT’13, pages 309–317, 2013.
3. Gilles Audemard and Laurent Simon. Predicting learnt clauses quality in modern sat solvers. In Proceedings of the 21st International Jont Conference on Artifical Intelligence, IJCAI’09, pages 399–404, 2009.
4. Finite-time analysis of the multiarmed bandit problem;Auer;Machine Learning,2002
5. The nonstochastic multiarmed bandit problem;Auer;SIAM J. Comput.,2003
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A cloud weather forecasting service and its relationship with anomaly detection;Service Oriented Computing and Applications;2022-07-29
2. MedleySolver: Online SMT Algorithm Selection;Theory and Applications of Satisfiability Testing – SAT 2021;2021
3. Portfolio theorem proving and prover runtime prediction for geometry;Annals of Mathematics and Artificial Intelligence;2018-09-06