运行求解器
比赛中用来控制解算器使用的资源的runsolver工具现在是根据GPL许可免费提供.
|
PB12：伪布尔解算器第七次竞争
我和Vasco Manquinho一起组织了第七届伪布尔人比赛解算器。全部有关此评估的详细信息，请访问http://www.cril.univ-artois.fr/PB12
|
ppfolio公司
ppfolio是一个在多核主机上模拟虚拟最佳解算器（VBS）的简单工具。它只并行运行了几个解算器，但在2011年的比赛中获得了意想不到的结果。请参阅上的详细信息ppfolio页面.
|
2011年SAT竞赛
我与D.Le Berre和L.Simon一起组织了2011年版SAT竞赛（参见SAT竞赛网站和比赛的详细结果)
|
PB11：第六届伪布尔解算器竞赛
我和Vasco Manquinho一起组织了第六届伪布尔人比赛解算器。全部有关此评估的详细信息，请访问http://www.cril.univ-artois.fr/PB11
|
PB10：伪布尔解算器第五次竞赛
我和Vasco Manquinho一起组织了第五届伪布尔人比赛解算器。全部有关此评估的详细信息，请访问http://www.cril.univ-artois.fr/PB10
|
SAT 2009竞赛
我与D.Le Berre和L.Simon一起组织了2009年版SAT竞赛（参见SAT竞赛网站和比赛的详细结果)
|
CSC09：第四届CSP解决方案竞赛
我与C.Lecoverre和M.Van Dongen一起组织第四届CSP求解器竞赛（CSP、Max-CSP和WCSP）.
|
PB09：伪布尔解算器第四次竞争
我和Vasco Manquinho一起组织了第四届伪布尔人比赛解算器。全部有关此评估的详细信息，请访问http://www.cril.univ-artois.fr/PB09
|
CPAI08：第三届CSP解决方案竞赛
我参与了CSP求解器的第三次竞赛（另请参见这个镜子).
|
SAT 2007竞赛
我加入了SAT竞赛的组织者，当时他们决定在我为PB06、CPAI06和PB07评估和竞赛设置的框架上进行竞赛（该框架本身源自Laurent Simon和Daniel Le Berre开发的SAT 2005框架）。请参阅SAT竞赛网站和2007年SAT竞赛不同阶段的详细结果
|
SAT游戏
SAT游戏是SAT问题的有趣表现。尝试手动解决一些简单的SAT实例！
|
PB07：伪布尔解算器的第三次评估
我和Vasco Manquinho一起组织了伪布尔人的第三次评估解算器。全部有关此评估的详细信息，请访问http://www.cril.univ-artois.fr/PB07
|
CPAI06：CSP解决方案的第二场比赛
我参与了CSP解决方案第二次竞赛.您可以咨询比赛结果.
|
CSP实例的XML 2.0格式的C/C++解析器
我目前正在为CSP实例的XML2.0格式编写解析器。有关此解析器的信息，请参阅此处。
|
PB06：伪布尔解算器的第二次评估
我和Vasco Manquinho一起组织了伪布尔人的第二次评估解算器。全部有关此评估的详细信息，请访问http://www.cril.univ-artois.fr/PB06
|
csp2sat+zchaff
我的ICTAI’04论文介绍了一个知识汇编用于使子句上的单位传播产生与在CSP问题上保持电弧一致性（替代支持编码）。
这种知识编译已经在基于这个zChaff公司SAT解算器，并提交给第一国际约束满足求解器竞赛。尽管此解算器是一个快速的黑客（它是在大约三天内匆忙写成的），它在二进制CSP上获得了相当好的结果（在非二进制CSP，这是非常正常的，因为支持n元约束是最低限度的）。观看比赛了解此解算器结果的过程.
下载的版本csp2sat+zchaff提交评估（静态Linux可执行文件，bzip2压缩）
|
PB05：伪布尔解算器的首次评估
我和Vasco Manquinho一起组织了一次伪蘑菇的评估解算器（作为2005年国家税务总局竞争）。全部有关此评估的详细信息，请访问http://www.cril.univ-artois.fr/PB05
|
pb2sat+zchaff
Olivier Bailleux、Yacine Boufkhad和我提出了一种伪布尔约束作为一组子句，使得使用unit传播这组子句相当于恢复初始伪布尔约束的广义弧一致性。
此编码已在基于zChaff公司坐并提交给PB05评估。查看评估主页页面了解此解算器的结果.
下载的版本pb2sat+zchaff提交评估（静态Linux可执行文件，bzip2压缩） |
奥萨特
目标奥萨特图书馆将提供一组数据结构、算法和工具，以促进创新算法或多或少与可满足性直接相关问题（SAT）。
这个项目类似于OpenSAT项目，但这里重点放在代码的通用性上。它是用C++编写的，并大量使用模板来获得通用性和效率。
有关的更多信息项目页面.
|
开放源码软件
对不起，目前没有翻译！
Avec Gilles Audemard，j’ai参与者aeau projet OpenSAT初始阶段丹尼尔·勒贝雷.Le projet OpenSAT可用，但已安装解决问题的发展平台可满足性的基础测试。
Cette plate forme se voulait usibleádeux niveaux（切特板形成可利用的塞瓦莱）差异：
- 利用点：
Cette plate forme devait permettre de fournirál’utiliateurdes composants logiciels réutiliables qui fornissent une公司SAT自动问题的解决方案。
- du point de vue du chercheur（切赫乌尔）：
平台形式OpenSAT devait permettre de fournir au chercheur des植入标准化结构满意度测试领域的算法加上可用性
不可预置版本OpenSAT简历développeée en quelques mois et a participanté2003年SAT竞赛。Malgrésa jeunesse，cette版本a obtenu des résultats toutáfait普鲁维尔委员会荣誉人物JQUEST2égalementOpenSAT项目的发展。 最大化平台利用率公社，OpenSAT aétédéveloppé使用Java语言的开源模式便利利用（voir项目现场).
Le dédevelopment de cette plate formété2004年放弃内昂。丹尼尔·勒·贝雷poursuit Le开发平台形式的Java pour SAT dans le项目SAT4J标准. |
打开QBF
对不起，到目前为止还没有翻译！
Le projet OpenQBF qui的题词dans Le cadger del'行动特殊情况QBF sur la plate-forme OpenSAT浇注布列恩公式的构建量词。Ce projet est développépar d.Le项目Berre、G.Audemard和O.Roussel。La toute première版本duprouver développéaétésoumiseáQBF quiété2003年可持续发展组织SAT。
|
|
QBF特定操作
我参与了QBF的具体行动。有关更多详细信息，请参阅动作网站.
|
|
冗余
Yacine Boufkhad、Olivier Bailleux和我在布尔公式及其对SAT求解难度的影响问题。
|
Achèvement公司
对不起，目前没有翻译！
本季首播《飞利浦之路》（travaux de recherche sous la direction de Philippe）马修·巴赫河畔（Mathieu portaient sur l'achèvement des bases de）内涵。L'achèvement est une forme de compilation des公司布列恩公式。
|
