BoolVar/PB v1.0：一个将伪布尔约束转换为CNF公式的Java库
人工智能
2011-03-22 v1
摘要
BoolVar/PB 是一个开源 Java 库，专门用于将伪布尔约束转换为 CNF 公式。输入约束可以用标签进行分类。多种编码方案已实现，使得每个输入约束可以根据相关标签使用一个或多个编码器进行转换。该库可以通过添加新的编码器和/或新的输出格式轻松扩展。
引用
@article{arxiv.1103.3954,
title = {BoolVar/PB v1.0, a java library for translating pseudo-Boolean constraints into CNF formulae},
author = {Olivier Bailleux},
journal= {arXiv preprint arXiv:1103.3954},
year = {2011}
}