主要求解器研究团队及其开源代码网址

求解器研究所属的学科类型

	2012 ACM Subject Classification   Theory of computation → Constraint and logic programming; Theory of computation → Automated reasoning

 

 

主要求解器研究团队及其开源代码网址：

	Supplementary Materials Mathias Fleury. arminbiere/cadical (Software, CaDiCaL Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22495 Software (CaDiCaL Source Code)  https://github.com/arminbiere/cadical/tree/strong-backtrack   archived version Robin Coutelier. RobCoutel/NapSAT (Software, NapSAT Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22496 Software (NapSAT Source Code)  https://github.com/RobCoutel/NapSAT    browse   archived version Mathias Fleury. m-fleury/glucose (Software, Glucose Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22497 Software (Glucose Source Code)  https://github.com/m-fleury/glucose    browse   archived version
	重要研究团队主页网址： 1. Professor Armin Biere 　　　　https://fmv.jku.at/team/index.html 2. 蔡少伟研究员  中国科学院软件研究所   　　　　http://people.ucas.ac.cn/~caisw#%20443773 3. M. Olšák　　　　 http://people.ucas.ac.cn/~caisw#%20443773 （有空时继续补充）