Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2025
|
| Online Access: | https://doi.org/10.5281/zenodo.15644659 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- <p>This research demonstrates fundamental limitations in structural SAT analysis through AI-guided algorithm development. Key findings: 55.2% performance gap between semantic simulation (88.5% accuracy) and structural methods (33.3-55.2%). Includes working code, comprehensive benchmark of 96 instances, and reproducible analysis pipeline. Represents pioneering AI-human collaboration in computational complexity research with practical applications for SAT solver optimization.</p>