ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1401.5860
  4. Cited By
A New Look at BDDs for Pseudo-Boolean Constraints

A New Look at BDDs for Pseudo-Boolean Constraints

23 January 2014
Ignasi Abío
R. Nieuwenhuis
Albert Oliveras
Enric Rodríguez-carbonell
Valentin Mayer-Eichberger
    AI4CE
ArXiv (abs)PDFHTML

Papers citing "A New Look at BDDs for Pseudo-Boolean Constraints"

4 / 4 papers shown
Title
Optimal Decision Diagrams for Classification
Optimal Decision Diagrams for Classification
Alexandre M. Florio
P. Martins
Maximilian Schiffer
Thiago Serra
Thibaut Vidal
61
13
0
28 May 2022
Exact and approximate determination of the Pareto set using minimal
  correction subsets
Exact and approximate determination of the Pareto set using minimal correction subsets
Andreia P. Guerreiro
João Cortes
D. Vanderpooten
C. Bazgan
I. Lynce
Vasco M. Manquinho
J. Figueira
25
5
0
14 Apr 2022
A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints
A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints
Alexis de Colnet
AI4CE
20
1
0
06 Jan 2021
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Saurabh Joshi
Ruben Martins
Vasco M. Manquinho
AI4CE
43
53
0
21 Jul 2015
1