Model Abstraction for Discrete-Event Systems Using a SAT Solver
- DOI
- 10.1109/access.2023.3246123
- Published
- 2023
- Container
- IEEE Access
- Publisher
- Not recorded
- Open access
- yes
Credibility signals
uncertain Score 53/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.
Show all credibility signals
- cautionDOI registered: No matching Crossref record was present in this response.
- cautionDOI resolves: No matching Crossref record was present in this response.
- supportingDirectory of Open Access Journals: A matching record was returned by DOAJ.
- not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made.
- not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made.
- not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made.
- not scoredROR affiliation: Not checked or no result supplied; no credibility inference made.
- not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- supportingOpen access status: Normalized open-access status: open.
- not scoredPublication license: Not checked or no result supplied; no credibility inference made.
- not scoredPublication version: A publication version was supplied but is not scored.
- cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty.
Cite this work
BibTeX
@article{allodium:10.1109/access.2023.3246123,
title = {Model Abstraction for Discrete-Event Systems Using a SAT Solver},
author = {Lihong Cheng and Lei Feng},
year = {2023},
journal = {IEEE Access},
doi = {10.1109/access.2023.3246123},
url = {https://doi.org/10.1109/access.2023.3246123}
}RIS
TY - JOUR TI - Model Abstraction for Discrete-Event Systems Using a SAT Solver AU - Lihong Cheng AU - Lei Feng PY - 2023 JO - IEEE Access DO - 10.1109/access.2023.3246123 UR - https://doi.org/10.1109/access.2023.3246123 ER -
APA
Cheng, L., & Feng, L. (2023). Model Abstraction for Discrete-Event Systems Using a SAT Solver. IEEE Access. https://doi.org/10.1109/access.2023.3246123
Source records
- doaj · retrieved 2026-09-25T03:02:31.657Z