Metraipolis › archive › dc_22b208f910fc

Multi-step partitioning combined with SOM neural network-based clustering technique effectively improves SAT solver performance — Europe PMC PMID:40989369

Source: Europe PMC (en)
Original: https://europepmc.org/article/MED/40989369
DOI: 10.7717/peerj-cs.3076
License (as archived): solo-consultazione
Archived: 2026-11-10T15:00:26.358Z
SHA-256 of the archived text: 13d0f0cf3b6fa71781ef8b77d9c2ba6e197adae6abc3dd4473ce9d145a5527be
Stable URL of this page: https://metraipolis.com/documento/dc_22b208f910fc

How to cite

Multi-step partitioning combined with SOM neural network-based clustering technique effectively improves SAT solver performance — Europe PMC PMID:40989369 — Europe PMC (en), https://europepmc.org/article/MED/40989369 (solo-consultazione); archived copy: https://metraipolis.com/documento/dc_22b208f910fc (Metraipolis archive dc_22b208f910fc, sha256 13d0f0cf3b6fa71781ef8b77d9c2ba6e197adae6abc3dd4473ce9d145a5527be)

BibTeX

@misc{dc22b208f910fc,
  title = {Multi-step partitioning combined with SOM neural network-based clustering technique effectively improves SAT solver performance — Europe PMC PMID:40989369},
  howpublished = {Europe PMC (en)},
  url = {https://europepmc.org/article/MED/40989369},
  note = {License solo-consultazione; archived copy https://metraipolis.com/documento/dc_22b208f910fc; sha256 13d0f0cf3b6fa71781ef8b77d9c2ba6e197adae6abc3dd4473ce9d145a5527be},
  year = {2026}
}

Archived text

The text is not reproduced here: the archive holds it as solo-consultazione (consultation only, no republication). Read it at the original source: https://europepmc.org/article/MED/40989369. Agents can read the archived copy with the MCP tool read_document.