{"as_of":"2026-08-19T00:05:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0bb70c089f8288ed123b019506ecad5999102e29452f013cf73d0d61ebd60ed5","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T17:50:17.226858Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.12271/citation-record","integrity":"/paper/2411.12271/integrity","json":"/paper/2411.12271/citation-record.json","paper":"/paper/2411.12271"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.973004Z","title":"In: 19th Australian Conference on Software Engineering (aswec 2008), pp","venue":null,"work_id":"514ede9c-454e-4eb4-b34b-caf921989ec9","year":2008},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.006707Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:d513b4fbea61228b97fabba906cc7ca8b61c574821536fc03891dcb8546531b6","observation_id":"26dcf96d-2436-4896-9d1b-2f478c8d4b88","resolution":{"observed_at":"2026-08-12T17:50:17.978258Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.954646Z","title":"In: Proceedings of the 7th Australasian User Interface conference-Volume 50, pp","venue":null,"work_id":"14179672-cae8-4a8d-ab7a-2a61c072ee86","year":2006},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.012774Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:c26dd523d82ef0ba75cdcbf3f948a7ba15692c89fb38e5c0652cfe3fcc24a830","observation_id":"63f44f96-0d13-47d1-a8c7-47003af62ce2","resolution":{"observed_at":"2026-08-12T17:50:17.959869Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.936025Z","title":"In: Proceedings of the 24th Australian Computer-Human Interaction Conference, pp","venue":null,"work_id":"90108de9-e943-4b11-b04e-f598e2f01268","year":2012},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.018328Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:cd7a982f6dff9a624949e2d6e9e66a1219ea7bd9ed8a8ef5d68984ce18514615","observation_id":"f0086490-7141-441d-986e-0732e2d95065","resolution":{"observed_at":"2026-08-12T17:50:17.942185Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.917809Z","title":"Addison-Wesley Professional, ??? (2013)","venue":null,"work_id":"3aea57e7-9976-4bea-a43e-3b41063142e6","year":2013},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.023872Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:ffdc4bdd8ef90fb8cb55f3d4acff6fe65f66019763f3bd16d266dedd3687706f","observation_id":"78387b24-fe49-481e-a7ce-890ad98a2b59","resolution":{"observed_at":"2026-08-12T17:50:17.923731Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.900033Z","title":"” O’Reilly Media, Inc.”, ??? (2017)","venue":null,"work_id":"2285f59b-33ac-46a2-b1e6-63d50e0a2a5a","year":2017},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.029907Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:43f964ad528b4ddfea0493d76cc77ffb531566401f257adf866155eebec5a265","observation_id":"e785486b-986d-4b54-8fd3-a60121dca92b","resolution":{"observed_at":"2026-08-12T17:50:17.905709Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.881135Z","title":"ACM Transactions on Computer-Human Interaction (TOCHI) 8(4), 267–306 (2001)","venue":null,"work_id":"6a451320-97e0-4155-8a75-d67f1080b57b","year":2001},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.035601Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:3568f38db0d66f25e086e73b419dac64bdc7b2bc795c032e1756ff4a3197cfd2","observation_id":"9c02a9a8-f8ec-4286-8aff-10a95231f8a0","resolution":{"observed_at":"2026-08-12T17:50:17.887130Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.861218Z","title":"Technical report, University of Washington (1992)","venue":null,"work_id":"f3bdaba6-4ae9-4d7f-90a4-496e4f19614c","year":1992},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.041909Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:cf5a9ae3017fea51666de3a8e7359eb48fae42e23147beeb0d32b5cc97abf07e","observation_id":"9636c746-ba26-4da5-bc7b-4b40d6a569fe","resolution":{"observed_at":"2026-08-12T17:50:17.866533Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.844158Z","title":"In: Proceedings of the 10th Annual ACM Symposium on User Interface Software and Technology, pp","venue":null,"work_id":"81bfdace-c009-4c0e-8426-e1fb4b56e35e","year":1997},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.047295Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:47c41bc0ac63934acfbbbb345be8c7eca8b9959573c949f2a8b0ff099a05bdbe","observation_id":"9cd00dd2-c92a-441c-a1ba-bf50bb4055c1","resolution":{"observed_at":"2026-08-12T17:50:17.849463Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.827033Z","title":"In: International Conference on Principles and Practice of Constraint Programming, pp","venue":null,"work_id":"7210a83c-c3fb-4b71-a7cc-11b1223c6d71","year":2000},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.053348Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:b6c67b22733362a675468822698cedc699e87bb0fa09292a39cca26f81382d1e","observation_id":"079654bc-ae25-423e-b5fc-a66eb24efa95","resolution":{"observed_at":"2026-08-12T17:50:17.832530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.808617Z","title":"Constraints 13, 307–342 (2008)","venue":null,"work_id":"3a4e4b74-2801-48e8-a393-21c7f8497ab8","year":2008},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.058816Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:e549a95f1a5a5f6b77a0bce9abfe17400c8bf8c3f24255be974ea953e429134c","observation_id":"bbfd95d4-aa36-4bb8-bdef-2f68edaea5bc","resolution":{"observed_at":"2026-08-12T17:50:17.814740Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.791091Z","title":"In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, pp","venue":null,"work_id":"3efa3e09-dda7-48e0-b1af-c9a5bfc81d8d","year":2019},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.065279Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:8e7db01586d8767fb1c4553e8660ffe771d18581c6bb938773cd691727168c9e","observation_id":"3a845894-72d7-4114-9d54-f87da81dfda9","resolution":{"observed_at":"2026-08-12T17:50:17.796443Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.774059Z","title":"In: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, pp","venue":null,"work_id":"9291da50-133b-4c77-b39b-527c3f9f5e84","year":2020},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.071733Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:defb4a195754d1b8c70aedbaa536cedc0456046cad680f441309e10d33ee20b7","observation_id":"4950bbfa-bf24-4bb9-8219-6b6f7e3dbec7","resolution":{"observed_at":"2026-08-12T17:50:17.779455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.756812Z","title":"In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp","venue":null,"work_id":"811cfbce-aa35-45d8-9cb8-a1512f42930b","year":2008},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.076779Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:e89caaa1ea575f56b82dd021dd04a35715367b4bb7cb3bade5be2fc49da63ac2","observation_id":"19a9a609-0655-44f0-a033-55b0477d7ab3","resolution":{"observed_at":"2026-08-12T17:50:17.762319Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.740061Z","title":"Springer, ??? (2016)","venue":null,"work_id":"63192a43-1fcc-40bd-a1af-20df3f782219","year":2016},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.082805Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:c7abcf64877867e64f3bfb37c2e7d3be460e9603324233ba172e498811ed9e0b","observation_id":"08348bcf-d496-4930-a203-b52729ef5d71","resolution":{"observed_at":"2026-08-12T17:50:17.745087Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.723533Z","title":"In: Computer Aided Verification: 16th International Conference, CA V 2004, Boston, MA, USA, July 13-17, 2004","venue":null,"work_id":"28e3304e-1029-44f2-8036-cb0c3edac099","year":2004},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.088213Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:2141cd6b8abe3e99bf83941d94f50fbe8f2d67b607424181fe6f756d56edbff8","observation_id":"b819774d-bc56-4a71-908a-c5dd82ca4b42","resolution":{"observed_at":"2026-08-12T17:50:17.728786Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.093350Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.093350Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:815057c4305b101570e909194b28ecdc9a7865417b5dfb87e4f12cd42f788796","observation_id":"c4007a25-bce5-430d-90b0-cf23116498df","resolution":{"observed_at":"2026-08-12T17:50:17.093350Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.690889Z","title":"In: Proceedings of the AAAI Conference on Artificial Intelligence, vol","venue":null,"work_id":"02bd7952-9b1e-4e63-a9fe-7246c71a23a5","year":2015},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.098309Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:6c509e64c8f4293d50bb48c55fc3e4afb6d387da79ad0be24662cea9b9fff7d5","observation_id":"1449e077-a764-45cc-8608-9958a9ea9445","resolution":{"observed_at":"2026-08-12T17:50:17.696212Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.674310Z","title":"In: International Conference on Computer Aided Verification, pp","venue":null,"work_id":"dfd799a7-9708-47a1-bb02-52eaf29f3c9e","year":2016},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.103398Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:c8ae1929be86d550609abee6c5d93839048a269917239ef6d37fc51a45653011","observation_id":"39d0efb5-5cf8-4952-8b9a-e43f93e89a40","resolution":{"observed_at":"2026-08-12T17:50:17.679621Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.657025Z","title":"Formal Methods in System Design 51(3), 608–636 (2017)","venue":null,"work_id":"a2a85b1e-4839-4150-ba6e-045a1bf7db43","year":2017},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.108421Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:e532c48e16e86f8c7fea36e4bb83c3aea1b2a6fbf852b69ac5356d6a7e139331","observation_id":"d1cded76-e562-43fc-83c2-5f2c40f5fda2","resolution":{"observed_at":"2026-08-12T17:50:17.662997Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.640405Z","title":"ACM Transactions on Computational Logic 24(4), 1–26 (2023)","venue":null,"work_id":"b2fa883c-9159-4c4d-af32-887b80e4cc21","year":2023},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.113445Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:f1ef675de99f961f9788af35fcaf441d135b84855a3e604738de1bcedbb1fe89","observation_id":"b98b7a58-3e12-411a-a2d1-10f535e74ed1","resolution":{"observed_at":"2026-08-12T17:50:17.645571Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.623433Z","title":"In: International Conference on Computer Aided Verification, pp","venue":null,"work_id":"631b508d-00cf-4e8c-bec3-9644eda81eb6","year":2022},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.119132Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:2cf5e1b5fd00917bc440d4dfcc36cdce1552fbf2fef26d6595026823d70361ce","observation_id":"592c13bc-10ba-430d-b170-6d08c8aeed4d","resolution":{"observed_at":"2026-08-12T17:50:17.628806Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.605664Z","title":"In: CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN– FMCAD 2023, p","venue":null,"work_id":"33c95435-3cf7-428e-a44b-8168e93bc9ca","year":2023},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.123664Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:8cb10c6dbfda69c23c64a5ef988bf609576c9c8713e86904a1eb7c7e68f68a91","observation_id":"2ed95a24-e347-492e-9b4b-113471397558","resolution":{"observed_at":"2026-08-12T17:50:17.610654Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.589584Z","title":"In: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, pp","venue":null,"work_id":"c0800033-4871-4e90-8049-e176e35fd810","year":2011},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.128414Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:c4de78ebd06c88b9c05ba5f85996f6f47acd85922db278518ef325b069aae86d","observation_id":"eb82103c-d116-4d70-9d5f-0ebd0d78ebea","resolution":{"observed_at":"2026-08-12T17:50:17.594670Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.572668Z","title":null,"venue":null,"work_id":"bdf72610-aa7f-462d-87e3-518a0dabb591","year":2015},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.133009Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:6eadc0123e685c860d864d3205b6109977c9e62b6e69084e80b89502b35e30c6","observation_id":"3c8ee7d3-40a5-49a4-bb4f-b1f9b26516b6","resolution":{"observed_at":"2026-08-12T17:50:17.578232Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.556029Z","title":"ACM Transactions on Computer-Human Interaction (TOCHI) 7(1), 3–28 (2000) 37","venue":null,"work_id":"1bc8d5ff-8408-46f9-b266-f1de9d284d5b","year":2000},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.137841Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:f0fe8da87fad3fe6f43d0540eaaf3f93816677ee251f7579fe7df7a6ead70fc6","observation_id":"10c3123d-b831-426d-9680-8263303aea3f","resolution":{"observed_at":"2026-08-12T17:50:17.561529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.538724Z","title":"ACM Transactions on Computer- Human Interaction (TOCHI) 2(1), 64–103 (1995)","venue":null,"work_id":"998b6db6-2b9a-4227-999d-9d6ab5b5cf13","year":1995},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.142421Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:a2116090f0d2f45f2188dda32c8263d1d5f608888dcb3708d9e65e9e2011a2d3","observation_id":"71c1bb4f-9dc5-4706-9139-dd7e896118b3","resolution":{"observed_at":"2026-08-12T17:50:17.543837Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.522435Z","title":"In: 2010 21st Australian Software Engineering Conference, pp","venue":null,"work_id":"d59e8d5e-e648-4c02-9ef4-021093b92320","year":2010},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.147772Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:ced903a7224eb18bccd90e6b9b33922f04e082aecd6f72dde1bd0d83a77bc010","observation_id":"f44d39e0-16a8-43ce-ae77-0d3be3b1f445","resolution":{"observed_at":"2026-08-12T17:50:17.528165Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.506453Z","title":"Journal of Logical and Algebraic Methods in Programming 89, 67–94 (2017)","venue":null,"work_id":"5cbd0e2f-2413-42b1-bc90-b1f67e8da950","year":2017},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.152567Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:499083eed5b18f1e2ea56161d73f2c5502caf4520dc8bbd4bedb039e092b1fe6","observation_id":"a9900899-db8d-4c77-bfdb-198f608a45bc","resolution":{"observed_at":"2026-08-12T17:50:17.511686Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.489992Z","title":"Eduvantage 1(1) (2013)","venue":null,"work_id":"de5af77e-9092-4e09-9e08-731f66d1eb96","year":2013},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.157824Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:e929fdcdeb45e0b7adcfa4ef0d22241852895a6fe4b0a18632bdd96fdaa5def8","observation_id":"659f2f18-599d-4884-846d-a90aa7e8c2cf","resolution":{"observed_at":"2026-08-12T17:50:17.495170Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.473725Z","title":"In: 2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), pp","venue":null,"work_id":"e52ab947-893a-4a19-98a4-cc32125be3f0","year":2013},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.164437Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:8b5a41abfe57990e42b9e05ee9bbf1fd9c2da145312972ea26862d14b6f57612","observation_id":"e5bbad18-eefd-4983-8063-7aa20890d674","resolution":{"observed_at":"2026-08-12T17:50:17.478818Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.457142Z","title":"Procedia-Social and Behavioral Sciences 106, 2275–2279 (2013)","venue":null,"work_id":"49a60dc7-b406-4db5-99b1-96737b216623","year":2013},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.169335Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:9bf1a4675e774c61f59a80f6096f58b893a31f465237229c20bdfa9103e96b07","observation_id":"fc9ef862-86bf-4679-ab43-12f180430332","resolution":{"observed_at":"2026-08-12T17:50:17.463109Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.441576Z","title":"In: Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp","venue":null,"work_id":"9b8fd4a4-b46d-4303-9344-279ecb45e777","year":2013},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.174751Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:6293fb97161ff5da08ed377ce1ff0bc3a04abfd82190827c3a7e58574a1f5019","observation_id":"bec65fc3-afe9-4cdf-aa42-129cb637a6f1","resolution":{"observed_at":"2026-08-12T17:50:17.446537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.424260Z","title":"In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp","venue":null,"work_id":"faad5e9f-7f79-42dd-bb0a-6516ae8dee6a","year":1990},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.179817Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:76353134bab663982717ecfe138d10267a359d0653bdbc26825955d61e35b345","observation_id":"2c16d302-06a3-4028-9e8f-b50b0a96bee9","resolution":{"observed_at":"2026-08-12T17:50:17.429167Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.407679Z","title":"ACM Transactions on Programming Languages and Systems (TOPLAS) 14(3), 339–395 (1992)","venue":null,"work_id":"3e8c2a65-8ff4-4524-a72b-56804348cc74","year":1992},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.184810Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:9bfc993e64383fb3c608497422158b8b45ceb449078cb215bbd081216ebfe29a","observation_id":"e7697cb7-cac6-4781-a3e4-46838efa68ca","resolution":{"observed_at":"2026-08-12T17:50:17.413356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.391059Z","title":"Communications of the ACM 33(1), 54–63 (1990)","venue":null,"work_id":"48d02228-0eb4-434b-bce8-a18d6618dfc3","year":1990},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.189860Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:aaa85983b99668fef626fbffc0e016ae35ffe4f4fbfcc3cd12391b451116e6c1","observation_id":"bc8fffcd-0c7a-4c43-b1f6-71e9303dda47","resolution":{"observed_at":"2026-08-12T17:50:17.396267Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.374968Z","title":"Software: Practice and Experience 23(5), 529–566 (1993)","venue":null,"work_id":"3e977ab4-424e-4c2b-a68d-018ac0ff75dc","year":1993},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.195096Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:d047748459d33d08ad75e399b22307bbb95018a20c05b8a89f9eda242cd24547","observation_id":"70a0c675-4ab0-4574-800e-caba32e2acd0","resolution":{"observed_at":"2026-08-12T17:50:17.379830Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.357277Z","title":"In: Proceedings of the 7th Annual ACM Symposium on User Interface Software and Technology, pp","venue":null,"work_id":"acf339a4-5b42-4bc0-a803-c37c9b845189","year":1994},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.200489Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:a5cf5bb43b7350f1656cc57122793a94c167aae868cf7b87878539243d08ca86","observation_id":"60babe1f-2729-4684-bed7-8a087d742fea","resolution":{"observed_at":"2026-08-12T17:50:17.362774Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.338432Z","title":"In: International Conference on Principles 38 and Practice of Constraint Programming, pp","venue":null,"work_id":"0e1302b6-b25c-486e-a4f2-6d0445072af5","year":1998},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.205582Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:69d4b83b57a6781313421d5b447acbc3c466656f7f2c7d574e9dd5ed1cc100ea","observation_id":"277a20cf-ce75-4e59-9eda-4a04503e9bf9","resolution":{"observed_at":"2026-08-12T17:50:17.344585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.320333Z","title":"Constraints 7, 229–254 (2002)","venue":null,"work_id":"e09668ff-4af6-4138-b181-5c9f101bb79d","year":2002},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.210795Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:94946091773c85ea6c8c57136092d82d78f0fd3d479fc1a6d3c93e0d06c5bc17","observation_id":"40a2b8b8-fbf0-452f-8a56-3ebe600b3847","resolution":{"observed_at":"2026-08-12T17:50:17.326321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.303052Z","title":"In: 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, pp","venue":null,"work_id":"36e8e81d-36e1-49f8-9369-eddc705d6289","year":2011},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.215973Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:e5560b33cd169e95680c8e275bb26b331c70b17c0326fd8aa7cebb81140c6377","observation_id":"973626fc-66e4-4a2d-b8b3-69b047d6b566","resolution":{"observed_at":"2026-08-12T17:50:17.308599Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-45578-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In: Walsh, T","venue":"DIAL (Catholic University of Leuven)","work_id":"5dcf3ef0-1cdc-42a1-8d49-d0c50a1a84c7","year":2001},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.220871Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:e19837ca83ce755ef81460d9651403979b1b9bd58e6ea48db943a6031d83a517","observation_id":"f9d2dc57-5e33-4134-846f-f141d021a672","resolution":{"observed_at":"2026-08-12T17:50:17.271729Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T17:50:17.284086Z","title":"In: Proceedings of the 13th International Conference of the NZ Chapter of the ACM’s Special Interest Group on Human-Computer Interaction, pp","venue":null,"work_id":"b62aa578-bb1a-42d0-8cc6-70e98e665440","year":2012},"citing_paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T17:50:17.226858Z"},"links":{"citing_paper":"/paper/2411.12271"},"observation_digest":"sha256:08cf477b5d7898359726d45f559dda0e46a310b3d9c06f3f5d50831973e41d02","observation_id":"eb674ffa-3332-40d2-9694-7ed005612645","resolution":{"observed_at":"2026-08-12T17:50:17.290038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.12271","last_updated":"2024-11-19T06:48:53Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-18T12:13:58.218181Z","submitted_at":"2024-11-19T06:48:53Z","title":"SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":39},"total_outbound_references":42},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2411.12271."}