Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints ; volume:28 ; number:3 ; day:2 ; month:11 ; year:2023 ; pages:397-426 ; date:9.2023
Constraints ; 28, Heft 3 (2.11.2023), 397-426, 9.2023
- Creator
-
Ulrich-Oltean, Felix
Nightingale, Peter
Walker, James Alfred
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10601-023-09364-1
- URN
-
urn:nbn:de:101:1-2024012911240605102223
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:28 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ulrich-Oltean, Felix
- Nightingale, Peter
- Walker, James Alfred
- SpringerLink (Online service)
Other Objects (12)
Pseudo-Boolean Optimization
Pseudo-Boolean : Programming and applications
Logic programming with pseudo-Boolean constraints
Clausal proofs for pseudo-boolean reasoning
Combinations of Boolean Gröbner Bases and SAT Solvers
Towards Faster Conflict-Driven Pseudo-Boolean Solving
A Proof Complexity View of Pseudo-Boolean Solving
ON (m,n)-DISTRIBUTIVITY OF PSEUDO BOOLEAN ALGEBRAS
Pseudo-Boolean optimisation for RobinX sports timetabling
Discovery of Boolean metabolic networks: integer linear programming based approach
ON M-REPRESENTATION OF M-COMPLETE PSEUDO BOOLEAN ALGEBRA
Comparing variants of MMAS ACO algorithms on pseudo-boolean functions
Pseudo-Boolean Optimization
Pseudo-Boolean : Programming and applications
Logic programming with pseudo-Boolean constraints
Clausal proofs for pseudo-boolean reasoning
Combinations of Boolean Gröbner Bases and SAT Solvers
Towards Faster Conflict-Driven Pseudo-Boolean Solving
A Proof Complexity View of Pseudo-Boolean Solving
ON (m,n)-DISTRIBUTIVITY OF PSEUDO BOOLEAN ALGEBRAS
Pseudo-Boolean optimisation for RobinX sports timetabling
Discovery of Boolean metabolic networks: integer linear programming based approach
ON M-REPRESENTATION OF M-COMPLETE PSEUDO BOOLEAN ALGEBRA
Comparing variants of MMAS ACO algorithms on pseudo-boolean functions
Pseudo-Boolean Optimization
Pseudo-Boolean : Programming and applications
Logic programming with pseudo-Boolean constraints
Clausal proofs for pseudo-boolean reasoning
Combinations of Boolean Gröbner Bases and SAT Solvers
Towards Faster Conflict-Driven Pseudo-Boolean Solving
A Proof Complexity View of Pseudo-Boolean Solving
ON (m,n)-DISTRIBUTIVITY OF PSEUDO BOOLEAN ALGEBRAS
Pseudo-Boolean optimisation for RobinX sports timetabling
Discovery of Boolean metabolic networks: integer linear programming based approach
ON M-REPRESENTATION OF M-COMPLETE PSEUDO BOOLEAN ALGEBRA