Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T11:18:53.999284Z
Paper Citation Record · LEDGER
Discovering heuristics in a complex SAT solver with large language models
As of 9 August 2026, this Paper Citation Record lists 65 of 65 outbound references and 7 inbound Pith citation observations for arXiv:2507.22876.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-05T10:33:02.885010Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z
Reference resolution
65 of 65 outbound references displayed
- verified exact0
- verified fuzzy34
- unresolved30
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z
Outbound references
Observation f5c61a88-1f84-4a2e-838d-d00813a4340d · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:19:04.123320Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation debb00d9-fbbb-4b11-9dca-8edaac2f04b5 · outbound
This paper cites & Zhou, X.
Discovering heuristics in a complex SAT solver with large language models & Zhou, X
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:03.919192Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 9de5beb6-33c1-433f-a5d0-31fcb5b518f4 · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:19:03.755926Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f9fb87bf-ac4b-4600-9a36-daa0e4a5c954 · outbound
This paper cites A Survey of Circuit Foundation Model: Foundation AI Models for VLSI Circuit Design and EDA.
Discovering heuristics in a complex SAT solver with large language models A Survey of Circuit Foundation Model: Foundation AI Models for VLSI Circuit Design and EDA
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T11:18:48.720836Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 32fba24c-9a7d-4e9f-8bb3-a86a4c9d2aa2 · outbound
This paper cites H., Hutter, F.
Discovering heuristics in a complex SAT solver with large language models H., Hutter, F
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:03.633207Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 785e6ab0-9bcf-4901-ae22-54ac92dfcc01 · outbound
This paper cites & V an Den Herik, H.
Discovering heuristics in a complex SAT solver with large language models & V an Den Herik, H
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:03.501370Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 163f720e-f069-4131-9487-491e500ca4ff · outbound
This paper cites & Dutheillet, C.
Discovering heuristics in a complex SAT solver with large language models & Dutheillet, C
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:03.322275Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 0ddb207b-0c88-4b34-96ef-d1bb0155e82d · outbound
This paper cites GPT-4 Technical Report.
Discovering heuristics in a complex SAT solver with large language models GPT-4 Technical Report
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T11:18:49.356977Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1fdbc5b5-09d2-464a-9975-de981181825b · outbound
This paper cites DeepSeek-V3 Technical Report.
Discovering heuristics in a complex SAT solver with large language models DeepSeek-V3 Technical Report
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T11:18:49.412140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1f9c4f82-b191-47f5-995e-2559d1528bad · outbound
This paper cites DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning.
Discovering heuristics in a complex SAT solver with large language models DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T11:18:49.469342Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ea144efe-8915-45f9-ae14-b081055e49de · outbound
This paper cites Qwen Technical Report.
Discovering heuristics in a complex SAT solver with large language models Qwen Technical Report
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T11:18:49.520048Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8139666c-9090-482c-b1db-f5ae4e12f16f · outbound
This paper cites Qwen3 Technical Report.
Discovering heuristics in a complex SAT solver with large language models Qwen3 Technical Report
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T11:18:49.576873Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6d04f3b3-9534-4c87-b0d3-6f00bef69d34 · outbound
This paper cites LLaMA: Open and Efficient Foundation Language Models.
Discovering heuristics in a complex SAT solver with large language models LLaMA: Open and Efficient Foundation Language Models
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T11:18:49.637023Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation caedcb12-80a0-4495-9db6-9888080aeab2 · outbound
This paper cites Gemini: A Family of Highly Capable Multimodal Models.
Discovering heuristics in a complex SAT solver with large language models Gemini: A Family of Highly Capable Multimodal Models
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T11:18:49.670140Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d892dfcf-07a0-4161-868d-807f567a51a8 · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T11:18:49.737187Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7c54b45f-1969-4c12-bad2-c4cabdb3e388 · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:19:03.144316Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 66f77771-6344-47ef-909c-4ef441a68028 · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:19:03.031311Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 75b24ce8-3f64-4e1a-b299-bee11750aa8f · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:19:02.820361Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 673a386c-bd32-4c0a-b0d7-6f0c0dd05ff3 · outbound
This paper cites AutoSAT: Automatically Optimize SAT Solvers via Large Language Models.
Discovering heuristics in a complex SAT solver with large language models AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T11:18:49.995315Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2db05d74-8aef-4c4f-a254-d0f4b6eb10f6 · outbound
This paper cites & Zhang, Y.
Discovering heuristics in a complex SAT solver with large language models & Zhang, Y
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:02.620056Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 7ca6f265-3eaf-4739-8c3c-25bfa83b97f9 · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:19:02.463125Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4d562cd6-b162-4b4d-a489-90549f894e06 · outbound
This paper cites & Szeider, S.
Discovering heuristics in a complex SAT solver with large language models & Szeider, S
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:02.292333Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation e634211d-7110-4f6b-97e8-daad9edb6f96 · outbound
This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.
Discovering heuristics in a complex SAT solver with large language models AlphaEvolve: A coding agent for scientific and algorithmic discovery
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T11:18:50.316346Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b84bc143-84ee-4433-96e1-23763303f139 · outbound
This paper cites & Heisinger, M.
Discovering heuristics in a complex SAT solver with large language models & Heisinger, M
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:02.125321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation a42ba699-85cb-4d7d-8d14-45968c167bf8 · outbound
This paper cites Cadical at the sat race 2019.
Discovering heuristics in a complex SAT solver with large language models Cadical at the sat race 2019
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:01.973869Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 74fa189b-30d7-4866-8fe3-963f5adbc8de · outbound
This paper cites & Neumann, F.
Discovering heuristics in a complex SAT solver with large language models & Neumann, F
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:01.834195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 23bed3d2-903b-4f7e-8edb-4fb92462d493 · outbound
This paper cites & Suda, M.
Discovering heuristics in a complex SAT solver with large language models & Suda, M
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:01.671010Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3252b37a-1cad-4d89-aea2-994715dc2b8d · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:19:01.506356Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 04544951-05dc-4ea1-83f0-c68a961dff19 · outbound
This paper cites & Fruhman, J.
Discovering heuristics in a complex SAT solver with large language models & Fruhman, J
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:01.325245Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation e68f9fea-9b85-4ff7-8691-79c481fa0227 · outbound
This paper cites & Een, N.
Discovering heuristics in a complex SAT solver with large language models & Een, N
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:01.138806Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c6a15561-a744-4d99-8c75-52be0ed53964 · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:19:00.991357Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation b57c7407-916f-4d25-9a61-4ee6f3c3af8d · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:19:00.800306Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 6daf5ebb-377d-4caa-b24f-35351e8e2270 · outbound
This paper cites & Bäck, T.
Discovering heuristics in a complex SAT solver with large language models & Bäck, T
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:00.613822Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 5fb5f5f7-4470-46ad-b5a6-7026fe0e3d69 · outbound
This paper cites & Bäck, T.
Discovering heuristics in a complex SAT solver with large language models & Bäck, T
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:00.440128Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 31cc2b79-2d43-4f1b-8371-66bc1a8efee0 · outbound
This paper cites & Kötzing, T.
Discovering heuristics in a complex SAT solver with large language models & Kötzing, T
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:00.286539Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 30a5ea45-404c-4f41-95b2-e3e378af8677 · outbound
This paper cites OpenAI API Documentation.
Discovering heuristics in a complex SAT solver with large language models OpenAI API Documentation
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:19:00.119265Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ed7bb5a2-5106-451d-9e60-25b633f1a1c4 · outbound
This paper cites & Nakatumba-Nabende, J.
Discovering heuristics in a complex SAT solver with large language models & Nakatumba-Nabende, J
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:59.954012Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation b52698e8-2457-41ac-bcd9-827d8228f051 · outbound
This paper cites S., Reid, M., Matsuo, Y.
Discovering heuristics in a complex SAT solver with large language models S., Reid, M., Matsuo, Y
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:59.769315Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation d0a4dd29-e159-433f-85f8-27838f39dbdd · outbound
This paper cites Large language models are human-level prompt engineers.
Discovering heuristics in a complex SAT solver with large language models Large language models are human-level prompt engineers
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:59.630051Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 69d02d24-102e-48fb-8ffc-c1d5253351d9 · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:18:59.462079Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 083a1040-5dfe-463f-97ae-aeec3c67a7a3 · outbound
This paper cites CodeT5+: Open code large language models for code understanding and generation.
Discovering heuristics in a complex SAT solver with large language models CodeT5+: Open code large language models for code understanding and generation
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:59.311680Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation d1921bad-ba04-4900-9516-63b2961809c0 · outbound
This paper cites Google C++ Style Guide.
Discovering heuristics in a complex SAT solver with large language models Google C++ Style Guide
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:59.163660Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ef85d8aa-9cc1-4898-b701-86e46e98a782 · outbound
This paper cites & V assilvitskii, S.
Discovering heuristics in a complex SAT solver with large language models & V assilvitskii, S
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:58.912827Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 43fad281-d417-4dfd-80a4-019fb102e3bf · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:18:58.674635Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ce3fc7b7-d798-44b0-9647-cdbf89488b30 · outbound
This paper cites & Walsh, T.
Discovering heuristics in a complex SAT solver with large language models & Walsh, T
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:58.461348Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 40dbfced-27fa-49fb-a3b7-048d938270d0 · outbound
This paper cites H., Ganesh, V ., Poupart, P.
Discovering heuristics in a complex SAT solver with large language models H., Ganesh, V ., Poupart, P
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:58.231767Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 684363cb-5bcf-4a90-b589-35726bf4da48 · outbound
This paper cites & Heule, M.
Discovering heuristics in a complex SAT solver with large language models & Heule, M
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:58.009994Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4f560182-ef61-4bf6-b5f4-096507377942 · outbound
This paper cites & Zuckerman, D.
Discovering heuristics in a complex SAT solver with large language models & Zuckerman, D
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:57.750661Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 7ee5b513-29bd-460a-a442-eda7ca7f2b07 · outbound
This paper cites & Simon, L.
Discovering heuristics in a complex SAT solver with large language models & Simon, L
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:57.553179Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 7e7471f5-77d4-44e1-bed7-ca090b14bced · outbound
This paper cites & Fröhlich, A.
Discovering heuristics in a complex SAT solver with large language models & Fröhlich, A
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:57.242059Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation a00f5e27-15b0-45b7-92bc-b86abe526b0a · outbound
This paper cites Lingeling, plingeling, picosat and precosat at sat race 2010.
Discovering heuristics in a complex SAT solver with large language models Lingeling, plingeling, picosat and precosat at sat race 2010
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:56.994806Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 38b8c4b4-433f-4cb7-9188-f8afdf4b34c0 · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 52
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:18:56.759531Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 6b42df6d-6288-4c88-b380-2a039798ab02 · outbound
This paper cites Strangenight.
Discovering heuristics in a complex SAT solver with large language models Strangenight
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:56.591642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 44c67af4-b1e4-497e-9e95-f23afdaf13f8 · outbound
This paper cites max : Both types must be integers ( int or long int ).
Discovering heuristics in a complex SAT solver with large language models max : Both types must be integers ( int or long int )
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:56.447438Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4367ea9f-5057-4e2e-babf-563b8fdc4d6d · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 55
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:18:56.278685Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f11f51b5-528c-4ea6-9058-3e69d7959bb7 · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 56
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:18:56.091430Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 8cda1abd-fca0-48a3-bcb3-e382ba778e90 · outbound
This paper cites Y ou are not allowed to create your own new global variables, but you can use the global variables existing in the <key code>.
Discovering heuristics in a complex SAT solver with large language models Y ou are not allowed to create your own new global variables, but you can use the global variables existing in the <key code>
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:55.893642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation e9b62826-b8bc-40c5-b977-6d8af4184b78 · outbound
This paper cites <key code> of SA T solver is: {{ replace_key_code }} Updated Prompt (Role) Y ou are a SA T solver researcher trying to improve the {{ func_name }} function.
Discovering heuristics in a complex SAT solver with large language models <key code> of SA T solver is: {{ replace_key_code }} Updated Prompt (Role) Y ou are a SA T solver researcher trying to improve the {{ func_name }} function
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:55.686850Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation e0539b24-d394-49e5-a45d-267b765dc253 · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 59
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:18:55.459500Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 202dbffd-7cb1-4519-bb66-e6e22130dcef · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 60
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:18:55.291416Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation be6389ba-c2ad-4f10-be54-879b0f7f8812 · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 61
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:18:55.124442Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 6b41f65d-95be-4ee1-9b84-c2834efd13d1 · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 62
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:18:54.995553Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 6ab327c1-a5e3-420d-9a72-962ee61ddf6e · outbound
This paper cites an unresolved cited work.
Discovering heuristics in a complex SAT solver with large language models Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T11:18:54.819484Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation df2efcd4-8b7d-4d30-843a-354e17ebd26d · outbound
This paper cites "" {{ replace_key_code }}.
Discovering heuristics in a complex SAT solver with large language models "" {{ replace_key_code }}
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T11:18:54.617575Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 491ec091-d0fe-40e9-bf08-3982d840f32a · outbound
This paper cites similar ideas.
Discovering heuristics in a complex SAT solver with large language models similar ideas
Reference 65
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-06T11:18:54.428826Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Pith citing papers
Observation 6bda0d4a-f7fe-41ae-9d04-483dad803ad7 · inbound
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers cites this paper.
AutoPBO: LLM-powered Optimization for Local Search PBO Solvers Discovering heuristics in a complex SAT solver with large language models
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T10:33:02.885010Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82e8132f-451a-48f9-924b-ff658e0f3c12 · inbound
Autonomous Code Evolution Meets NP-Completeness cites this paper.
Autonomous Code Evolution Meets NP-Completeness Discovering heuristics in a complex SAT solver with large language models
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T22:22:13.491459Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e795cf73-6198-4afa-8d1a-e2567a57eb38 · inbound
Glia: A Human-Inspired AI for Automated Systems Design and Optimization cites this paper.
Glia: A Human-Inspired AI for Automated Systems Design and Optimization Discovering heuristics in a complex SAT solver with large language models
Reference 72
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-06-09T02:05:20.310261Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4f819069-c449-4fa5-b4df-9bfde7732097 · inbound
From Heuristic Selection to Automated Algorithm Design: LLMs Benefit from Strong Priors cites this paper.
From Heuristic Selection to Automated Algorithm Design: LLMs Benefit from Strong Priors Discovering heuristics in a complex SAT solver with large language models
Reference 2024
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T19:18:46.786771Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e0a3c3a0-9f7b-4972-921c-5a3d716ea4a0 · inbound
Agentic MIP Research: Accelerated Constraint Handler Generation cites this paper.
Agentic MIP Research: Accelerated Constraint Handler Generation Discovering heuristics in a complex SAT solver with large language models
Reference 17
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-06-09T02:05:20.310261Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 833c77da-0a8e-4192-8b05-b18657ff116c · inbound
An Information-Theoretic Criterion for Efficient Data Synthesis cites this paper.
An Information-Theoretic Criterion for Efficient Data Synthesis Discovering heuristics in a complex SAT solver with large language models
Reference 32
- Resolution
- verified exact
- arxiv_id, observed 2026-06-09T02:05:20.310261Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 791b3f6a-6736-4a12-ae5e-3d1283cb9dbb · inbound
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience cites this paper.
Can LLMs Build a MaxSAT Solver from Papers? The CoreForge Experience Discovering heuristics in a complex SAT solver with large language models
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T01:00:22.977292Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.