Paper Citation Record · LEDGER

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems

As of 7 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2506.01742.

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

pith.paper-citation-record.v1
2506.01742 v2

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T11:41:43.947143Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

25 of 25 outbound references displayed

verified exact0
verified fuzzy19
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a88a7f03-2cac-4a89-9685-92d33281603e · outbound

This paper cites an unresolved cited work.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:41:44.296768Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9207f27e-188e-4258-9063-736c91e9bbc7 · outbound

This paper cites Nocedal and S.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Nocedal and S

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.283330Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 845c36e0-820c-4428-aa18-9489b4a26a98 · outbound

This paper cites Optimization-based control for dynamic legged robots,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Optimization-based control for dynamic legged robots,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T11:41:43.834831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cce2f824-fb15-4cdf-a7a6-33eb5af01a80 · outbound

This paper cites Robust optimal control for demand side management of multi- carrier microgrids,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Robust optimal control for demand side management of multi- carrier microgrids,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.263553Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation dce726cc-17c5-4139-83f2-121c109b117a · outbound

This paper cites Fast homotopy for spacecraft ren- dezvous trajectory optimization with discrete logic,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Fast homotopy for spacecraft ren- dezvous trajectory optimization with discrete logic,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.249113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 472ce33d-5b7d-4f01-9256-1a090162d045 · outbound

This paper cites A review and comparison of solvers for convex MINLP,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems A review and comparison of solvers for convex MINLP,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.236088Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3c969aaa-927a-419c-b84b-11cc874f4c24 · outbound

This paper cites Undecidability and hardness in mixed-integer nonlinear programming,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Undecidability and hardness in mixed-integer nonlinear programming,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.222364Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation baec8029-c5f2-442d-b1cc-2e38b3ce8fbf · outbound

This paper cites Approximation properties and tight bounds for constrained mixed-integer optimal control,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Approximation properties and tight bounds for constrained mixed-integer optimal control,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.209023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 18cb061d-8046-424b-a6d0-aa36a19f1d9b · outbound

This paper cites Non-convex mixed-integer nonlinear programming: A survey,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Non-convex mixed-integer nonlinear programming: A survey,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.196130Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1d4d7488-1ae1-4497-950d-6b3a422bbf20 · outbound

This paper cites A unified approach to mixed-integer optimization problems with logical constraints,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems A unified approach to mixed-integer optimization problems with logical constraints,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.182642Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4730b21c-8478-45b2-9cb5-a3a75ad1aabe · outbound

This paper cites an unresolved cited work.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:41:44.169006Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5d80f360-ff04-4225-84c3-6708da4a015a · outbound

This paper cites On handling indicator constraints in mixed integer programming,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems On handling indicator constraints in mixed integer programming,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.155686Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c52382c7-2549-49b9-b069-28ca2bcaef88 · outbound

This paper cites an unresolved cited work.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T11:41:43.887389Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce5f1fed-e197-45ce-af33-d19b0f1857d0 · outbound

This paper cites On the approximation of the step function by some sigmoid functions,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems On the approximation of the step function by some sigmoid functions,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.133925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9338db04-f5cc-4172-a0db-eff4cc1535bb · outbound

This paper cites Perspective reformulations of mixed integer nonlinear programs with indicator variables,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Perspective reformulations of mixed integer nonlinear programs with indicator variables,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.120620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7a604001-5bc7-4f7e-b866-5bdd02b861ac · outbound

This paper cites Optimization-based control of nonlinear systems with linear temporal logic specifications,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Optimization-based control of nonlinear systems with linear temporal logic specifications,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.108646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 993b1c1e-b622-4d94-8aa2-9cf0476c968c · outbound

This paper cites Formal methods for control synthesis: An optimization perspective,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Formal methods for control synthesis: An optimization perspective,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.095433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4d5e692c-a666-49e5-af7a-f004fa31efd0 · outbound

This paper cites The continuous quadrant penalty formulation of logical constraints,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems The continuous quadrant penalty formulation of logical constraints,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.082452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3288c576-6bef-414e-9250-36eafa704702 · outbound

This paper cites On the conversion of optimization problems with max-min constraints to standard optimization prob- lems,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems On the conversion of optimization problems with max-min constraints to standard optimization prob- lems,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.069065Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4773c85c-ddd5-405a-b081-efa49301d00a · outbound

This paper cites Semi-infinite programs for robust con- trol and optimization: Efficient solutions and extensions to existence constraints,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Semi-infinite programs for robust con- trol and optimization: Efficient solutions and extensions to existence constraints,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.055008Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 0064fb9b-ac79-40cb-b48a-b46df34e507a · outbound

This paper cites an unresolved cited work.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:41:44.041614Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9dafd168-b363-4034-8c9f-52146a163a54 · outbound

This paper cites an unresolved cited work.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:41:44.025795Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 65cd181b-e74c-406d-b443-117b53f5bc77 · outbound

This paper cites Robust output feedback of nonlin- ear systems through the efficient solution of min-max optimization problems,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems Robust output feedback of nonlin- ear systems through the efficient solution of min-max optimization problems,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:44.009519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5df40fe9-b900-431a-b8a0-e2c7a50e5205 · outbound

This paper cites JuMP 1.0: Recent improvements to a modeling language for mathematical optimization,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems JuMP 1.0: Recent improvements to a modeling language for mathematical optimization,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:43.995441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9852adee-ae10-44bc-a761-b9c8e670eb94 · outbound

This paper cites On the implementation of an interior- point filter line-search algorithm for large-scale nonlinear program- ming,.

Smooth Logic Constraints in Nonlinear Optimization and Optimal Control Problems On the implementation of an interior- point filter line-search algorithm for large-scale nonlinear program- ming,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:41:43.982408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.