Paper Citation Record · LEDGER

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization

As of 15 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2506.00674.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.00674 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T12:08:48.405414Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

22 of 22 outbound references displayed

verified exact3
verified fuzzy10
unresolved7
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8a31d9e9-956f-413a-8a1e-1487acccfb45 · outbound

This paper cites Lazy Clause Exchange Policy for Parallel SAT Solvers.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Lazy Clause Exchange Policy for Parallel SAT Solvers

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:08:51.920003Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 55dcbe23-35b3-4071-878b-61e6cbc04c9f · outbound

This paper cites Learning to Optimize Neural Nets.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Learning to Optimize Neural Nets

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-07T12:08:47.428081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 974fd64b-f61b-417e-8d5b-8bde77cb0f8a · outbound

This paper cites Pblib – a library for encoding pseudo-boolean constraints into cnf.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Pblib – a library for encoding pseudo-boolean constraints into cnf

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:08:50.373584Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c71c8773-4778-46dc-a624-2ce926efb817 · outbound

This paper cites Laplace Meets Moreau: Smooth Approximation to Infimal Convolutions Using Laplace's Method.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Laplace Meets Moreau: Smooth Approximation to Infimal Convolutions Using Laplace's Method

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-08-07T12:08:48.803870Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 05909531-5368-47a0-994e-b376d487ad89 · outbound

This paper cites Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints

Reference 18

Resolution: verified exact; local_arxiv, observed 2026-08-07T12:08:48.619511Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation ea0cc435-37e5-4a86-8b7a-aaca018b1824 · outbound

This paper cites Without loss of generality, we assume all constraints do not contain negative literals.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Without loss of generality, we assume all constraints do not contain negative literals

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:08:49.824301Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation c683f60a-d48f-49bf-809d-614497c7bebc · outbound

This paper cites Rounding this point givesb′ = sgn(a′′) = (b1,··· ,bk−1,−1, sgn(a′)).

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Rounding this point givesb′ = sgn(a′′) = (b1,··· ,bk−1,−1, sgn(a′))

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:08:49.587370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 20cd5e21-55d8-45c4-aca8-a05655e517ca · outbound

This paper cites The Hardness of 3-Uniform Hypergraph Coloring.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization The Hardness of 3-Uniform Hypergraph Coloring

Reference 1962

Resolution: unresolved; no resolver link, observed 2026-08-07T12:08:46.986297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a40c2c7-003f-46e1-8333-11f91ce048db · outbound

This paper cites Biclique Cryptanalysis of the Full AES.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Biclique Cryptanalysis of the Full AES

Reference 1982

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:08:51.309852Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2ff4f46f-b1c7-4ce1-9ff4-559d49089185 · outbound

This paper cites 51 JP Marques Silva and Karem A Sakallah.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization 51 JP Marques Silva and Karem A Sakallah

Reference 1992

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T12:08:49.086118Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2c375bca-242a-4e0c-a97b-ae07aa26d4a7 · outbound

This paper cites 39 Goran S Nikolić, Bojan R Dimitrijević, Tatjana R Nikolić, and Mile K Stojcev.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization 39 Goran S Nikolić, Bojan R Dimitrijević, Tatjana R Nikolić, and Mile K Stojcev

Reference 2001

Resolution: unresolved; no resolver link, observed 2026-08-07T12:08:47.598764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8a976e4-9361-4889-ad5a-c7b5a0f72b68 · outbound

This paper cites Cadical, kissat, paracooba, plingeling and treen- geling entering the sat competition 2020.Sat Competition, 2020:50,.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Cadical, kissat, paracooba, plingeling and treen- geling entering the sat competition 2020.Sat Competition, 2020:50,

Reference 2003

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:08:50.865739Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation fcdf7c60-0cc8-40d0-9efc-68bc3e9b9888 · outbound

This paper cites 11 Tianlong Chen, Xiaohan Chen, Wuyang Chen, Howard Heaton, Jialin Liu, Zhangyang Wang, and Wotao Yin.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization 11 Tianlong Chen, Xiaohan Chen, Wuyang Chen, Howard Heaton, Jialin Liu, Zhangyang Wang, and Wotao Yin

Reference 2008

Resolution: unresolved; no resolver link, observed 2026-08-07T12:08:46.749723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bc676e4-1e58-4aa2-a4dc-1e2cfaf23cc6 · outbound

This paper cites 14 Martin Davis, George Logemann, and Donald Loveland.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization 14 Martin Davis, George Logemann, and Donald Loveland

Reference 2009

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T12:08:51.052522Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d31d192b-5b26-4fe5-a96c-6d151673afeb · outbound

This paper cites Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break

Reference 2010

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:08:51.510272Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b40b5f5f-6bfd-4d93-bf6a-ed36b37965cf · outbound

This paper cites Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs

Reference 2013

Resolution: verified exact; local_arxiv, observed 2026-08-07T12:08:49.374562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b26ec2ec-3a43-4c75-8e0a-832823b005ed · outbound

This paper cites Improving Stochastic Local Search for SAT with a New Probability Distribution.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Improving Stochastic Local Search for SAT with a New Probability Distribution

Reference 2014

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:08:51.735518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 80eeb70a-5de2-4758-839b-3bab227ed65d · outbound

This paper cites Adam: A Method for Stochastic Optimization.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Adam: A Method for Stochastic Optimization

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-07T12:08:47.291601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13cf4aac-3f2c-4b2d-9396-7bcecfc56bc5 · outbound

This paper cites Engineering an efficient pb-xor solver.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Engineering an efficient pb-xor solver

Reference 2020

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:08:49.970187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 397c1f4b-1e6d-4ca5-959a-03f038581db6 · outbound

This paper cites Reluplex: An efficient smt solver for verifying deep neural networks.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Reluplex: An efficient smt solver for verifying deep neural networks

Reference 2021

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T12:08:50.628660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 77cfee2a-ac2f-47e8-aa2d-4ed7fe55a2b1 · outbound

This paper cites an unresolved cited work.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Unresolved cited work

Reference 2023

Resolution: unresolved; raw_fallback, observed 2026-08-07T12:08:50.169975Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 1b01c5d4-0984-4b9c-ab48-98456a9bbc00 · outbound

This paper cites Recent advances in numerical solutions for hamilton-jacobi pdes.arXiv preprint arXiv:2502.20833,.

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization Recent advances in numerical solutions for hamilton-jacobi pdes.arXiv preprint arXiv:2502.20833,

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-07T12:08:47.537288Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.