Author:
Fichte Johannes K.,Hecher Markus,Kieler Maximilian F. I.
Publisher
Springer International Publishing
Reference49 articles.
1. Allouche, D., et al.: Tractability-preserving transformations of global cost functions. Artif. Intell. 238, 166–189 (2016)
2. Atserias, A., Fichte, J.K., Thurley, M.: Clause-learning algorithms with many restarts and bounded-width resolution. J. Artif. Intell. Res. 40, 353–373 (2011)
3. Atserias, A., Oliva, S.: Bounded-width QBF is PSPACE-complete. J. Comput. Syst. Sci. 80(7), 1415–1429 (2014)
4. Lecture Notes in Computer Science;F Bacchus,2007
5. Beldiceanu, N., Demassey, S.: Global Constraint Catalog: 5.117. element (2020). https://web.imt-atlantique.fr/x-info/sdemasse/gccat/Celement.html
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献