Stay organized with collections
Save and categorize content based on your preferences.
C++ Reference: encoding
Note: This documentation is automatically generated.
Algorithms to encode constraints into their SAT representation. Currently, this contains one possible encoding of a cardinality constraint as used by the core-based optimization algorithm in optimization.h.
This is also known as the incremental totalizer encoding in the literature.
[[["Easy to understand","easyToUnderstand","thumb-up"],["Solved my problem","solvedMyProblem","thumb-up"],["Other","otherUp","thumb-up"]],[["Missing the information I need","missingTheInformationINeed","thumb-down"],["Too complicated / too many steps","tooComplicatedTooManySteps","thumb-down"],["Out of date","outOfDate","thumb-down"],["Samples / code issue","samplesCodeIssue","thumb-down"],["Other","otherDown","thumb-down"]],["Last updated 2024-08-06 UTC."],[[["\u003cp\u003eThis documentation outlines algorithms in C++ used for encoding constraints into a SAT representation for optimization.\u003c/p\u003e\n"],["\u003cp\u003eIt features an incremental totalizer encoding for cardinality constraints, specifically utilized by the core-based optimization algorithm.\u003c/p\u003e\n"],["\u003cp\u003eThe provided resource offers a class named \u003ccode\u003eEncodingNode\u003c/code\u003e for further exploration and implementation.\u003c/p\u003e\n"]]],["The document describes algorithms for encoding constraints into SAT representations, specifically focusing on cardinality constraints. It details an encoding method employed by the core-based optimization algorithm, referred to as the incremental totalizer encoding. The documentation also provides information on the `EncodingNode` class, which is part of this encoding process. This content is derived from the C++ Reference related to encoding in the context of SAT solvers.\n"],null,["# encoding\n\nC++ Reference: encoding\n=======================\n\n\nNote: This documentation is automatically generated.\nAlgorithms to encode constraints into their SAT representation. Currently, this contains one possible encoding of a cardinality constraint as used by the core-based optimization algorithm in optimization.h. \n\nThis is also known as the incremental totalizer encoding in the literature. \n\n| Classes ------- ||\n|-------------------------------------------------------------------|---|\n| [EncodingNode](/optimization/reference/sat/encoding/EncodingNode) |"]]