AI Chat AI Image Generator AI Video Text to Speech

BoolVar/PB v1.0, a java library for translating pseudo-Boolean constraints into CNF formulae

03/21/2011

∙

by Olivier Bailleux, et al.

∙

∙

BoolVar/PB is an open source java library dedicated to the translation of pseudo-Boolean constraints into CNF formulae. Input constraints can be categorized with tags. Several encoding schemes are implemented in a way that each input constraint can be translated using one or several encoders, according to the related tags. The library can be easily extended by adding new encoders and / or new output formats.

page 1

page 2

page 3

page 4

research

∙ 01/23/2014

A New Look at BDDs for Pseudo-Boolean Constraints

Pseudo-Boolean constraints are omnipresent in practical applications, an...

0 Ignasi Abío, et al. ∙

research

∙ 02/26/2020

Declarative Programming with Intensional Sets in Java Using JSetL

Intensional sets are sets given by a property rather than by enumerating...

0 Maximiliano Cristiá, et al. ∙

research

∙ 07/05/2019

MigrationMiner: An Automated Detection Tool of Third-Party Java Library Migration at the Method Level

In this paper we introduce, MigrationMiner, an automated tool that detec...

0 Hussein Alrubaye, et al. ∙

research

∙ 07/18/2023

Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

Many constraint satisfaction and optimisation problems can be solved eff...

0 Felix Ulrich-Oltean, et al. ∙

research

∙ 01/06/2021

A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints

Two major considerations when encoding pseudo-Boolean (PB) constraints i...

0 Alexis de Colnet, et al. ∙

research

∙ 07/12/2018

A Library for Constraint Consistent Learning

This paper introduces the first, open source software library for Constr...

0 Yuchen Zhao, et al. ∙

research

∙ 02/18/2016

Encoding Data for HTM Systems

Hierarchical Temporal Memory (HTM) is a biologically inspired machine in...

0 Scott Purdy, et al. ∙