PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF (Q3453205): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pseudo-Boolean optimization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory and Applications of Satisfiability Testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory and Applications of Satisfiability Testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3429154 / rank
 
Normal rank
Property / cites work
 
Property / cites work: BDDs for Pseudo-Boolean Constraints – Revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithms for computing minimal unsatisfiable subsets of constraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: New Encodings of Pseudo-Boolean Constraints into CNF / rank
 
Normal rank
Property / cites work
 
Property / cites work: A structure-preserving clause form translation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3184605 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards an Optimal CNF Encoding of Boolean Cardinality Constraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory and Applications of Satisfiability Testing / rank
 
Normal rank

Latest revision as of 02:25, 11 July 2024

scientific article
Language Label Description Also known as
English
PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF
scientific article

    Statements

    Identifiers