sos-sdp_maxsat
Computing SOS-SDP based founds for the maximum-satisfiability problem
Science Score: 57.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
✓DOI references
Found 1 DOI reference(s) in README -
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (7.1%) to scientific vocabulary
Repository
Computing SOS-SDP based founds for the maximum-satisfiability problem
Basic Info
- Host: GitHub
- Owner: LMSinjorgo
- License: gpl-3.0
- Language: MATLAB
- Default Branch: main
- Size: 67.4 KB
Statistics
- Stars: 3
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
On solving MAX-SAT using Sum of Squares
By L. Sinjorgo and R. Sotirov (2024)
MATLAB implementation of the Peaceman-Rachford splitting method (PRSM) for computing bounds for the maximum-satisfiability problem (MAX-SAT).
Includes functions for parsing MAX-SAT instances, as given by CNF files, into the format required by the PRSM. More details and numerical results are presented in the paper, available here.
Also includes the MATLAB implementation of the LOBPCG algorithm (lobpcg.m), as taken from https://github.com/lobpcg/blopex.
If you use this software, please cite it according to BibTeX file below.
@article{sinjorgo2024solving,
title={On Solving MAX-SAT Using Sum of Squares},
author={Sinjorgo, Lennart and Sotirov, Renata},
journal={INFORMS Journal on Computing},
volume={36},
number={2},
pages={417--433},
year={2024},
publisher={INFORMS}
}
Owner
- Login: LMSinjorgo
- Kind: user
- Repositories: 2
- Profile: https://github.com/LMSinjorgo
Citation (CITATION.cff)
cff-version: 1.2.0 message: "If you use this software, please cite it as below." authors: - family-names: "Sinjorgo" given-names: "Lennart" orcid: "https://orcid.org/0000-0003-0516-6360" - family-names: "Sotirov" given-names: "Renata" orcid: "https://orcid.org/0000-0002-3298-7255" title: "On solving the MAX-SAT using sum of squares" version: 1.0 date-released: 2023-2-8 url: "https://github.com/LMSinjorgo/SDP-SOS_MAXSAT"
GitHub Events
Total
- Push event: 2
Last Year
- Push event: 2