Pith. sign in

Paper Citation Record · LEDGER

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout

As of 18 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2411.12271.

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

pith.paper-citation-record.v1
2411.12271 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T17:50:17.226858Z

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

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

42 of 42 outbound references displayed

  • verified exact1
  • verified fuzzy39
  • unresolved2
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 26dcf96d-2436-4896-9d1b-2f478c8d4b88 · outbound

This paper cites In: 19th Australian Conference on Software Engineering (aswec 2008), pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: 19th Australian Conference on Software Engineering (aswec 2008), pp

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.978258Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.006707Z digest=sha256:d513b4fbea61228b97fabba906cc7ca8b61c574821536fc03891dcb8546531b6

Observation 63f44f96-0d13-47d1-a8c7-47003af62ce2 · outbound

This paper cites In: Proceedings of the 7th Australasian User Interface conference-Volume 50, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 7th Australasian User Interface conference-Volume 50, pp

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.959869Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.012774Z digest=sha256:c26dd523d82ef0ba75cdcbf3f948a7ba15692c89fb38e5c0652cfe3fcc24a830

Observation f0086490-7141-441d-986e-0732e2d95065 · outbound

This paper cites In: Proceedings of the 24th Australian Computer-Human Interaction Conference, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 24th Australian Computer-Human Interaction Conference, pp

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.942185Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.018328Z digest=sha256:cd7a982f6dff9a624949e2d6e9e66a1219ea7bd9ed8a8ef5d68984ce18514615

Observation 78387b24-fe49-481e-a7ce-890ad98a2b59 · outbound

This paper cites Addison-Wesley Professional, ??? (2013).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Addison-Wesley Professional, ??? (2013)

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.923731Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.023872Z digest=sha256:ffdc4bdd8ef90fb8cb55f3d4acff6fe65f66019763f3bd16d266dedd3687706f

Observation e785486b-986d-4b54-8fd3-a60121dca92b · outbound

This paper cites ” O’Reilly Media, Inc.”, ??? (2017).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout ” O’Reilly Media, Inc.”, ??? (2017)

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.905709Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.029907Z digest=sha256:43f964ad528b4ddfea0493d76cc77ffb531566401f257adf866155eebec5a265

Observation 9c02a9a8-f8ec-4286-8aff-10a95231f8a0 · outbound

This paper cites ACM Transactions on Computer-Human Interaction (TOCHI) 8(4), 267–306 (2001).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout ACM Transactions on Computer-Human Interaction (TOCHI) 8(4), 267–306 (2001)

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.887130Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.035601Z digest=sha256:3568f38db0d66f25e086e73b419dac64bdc7b2bc795c032e1756ff4a3197cfd2

Observation 9636c746-ba26-4da5-bc7b-4b40d6a569fe · outbound

This paper cites Technical report, University of Washington (1992).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Technical report, University of Washington (1992)

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.866533Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.041909Z digest=sha256:cf5a9ae3017fea51666de3a8e7359eb48fae42e23147beeb0d32b5cc97abf07e

Observation 9cd00dd2-c92a-441c-a1ba-bf50bb4055c1 · outbound

This paper cites In: Proceedings of the 10th Annual ACM Symposium on User Interface Software and Technology, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 10th Annual ACM Symposium on User Interface Software and Technology, pp

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.849463Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.047295Z digest=sha256:47c41bc0ac63934acfbbbb345be8c7eca8b9959573c949f2a8b0ff099a05bdbe

Observation 079654bc-ae25-423e-b5fc-a66eb24efa95 · outbound

This paper cites In: International Conference on Principles and Practice of Constraint Programming, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: International Conference on Principles and Practice of Constraint Programming, pp

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.832530Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.053348Z digest=sha256:b6c67b22733362a675468822698cedc699e87bb0fa09292a39cca26f81382d1e

Observation bbfd95d4-aa36-4bb8-bdef-2f68edaea5bc · outbound

This paper cites Constraints 13, 307–342 (2008).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Constraints 13, 307–342 (2008)

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.814740Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.058816Z digest=sha256:e549a95f1a5a5f6b77a0bce9abfe17400c8bf8c3f24255be974ea953e429134c

Observation 3a845894-72d7-4114-9d54-f87da81dfda9 · outbound

This paper cites In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, pp

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.796443Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.065279Z digest=sha256:8e7db01586d8767fb1c4553e8660ffe771d18581c6bb938773cd691727168c9e

Observation 4950bbfa-bf24-4bb9-8219-6b6f7e3dbec7 · outbound

This paper cites In: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, pp

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.779455Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.071733Z digest=sha256:defb4a195754d1b8c70aedbaa536cedc0456046cad680f441309e10d33ee20b7

Observation 19a9a609-0655-44f0-a033-55b0477d7ab3 · outbound

This paper cites In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.762319Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.076779Z digest=sha256:e89caaa1ea575f56b82dd021dd04a35715367b4bb7cb3bade5be2fc49da63ac2

Observation 08348bcf-d496-4930-a203-b52729ef5d71 · outbound

This paper cites Springer, ??? (2016).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Springer, ??? (2016)

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.745087Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.082805Z digest=sha256:c7abcf64877867e64f3bfb37c2e7d3be460e9603324233ba172e498811ed9e0b

Observation b819774d-bc56-4a71-908a-c5dd82ca4b42 · outbound

This paper cites In: Computer Aided Verification: 16th International Conference, CA V 2004, Boston, MA, USA, July 13-17, 2004.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Computer Aided Verification: 16th International Conference, CA V 2004, Boston, MA, USA, July 13-17, 2004

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.728786Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.088213Z digest=sha256:2141cd6b8abe3e99bf83941d94f50fbe8f2d67b607424181fe6f756d56edbff8

Observation c4007a25-bce5-430d-90b0-cf23116498df · outbound

This paper cites an unresolved cited work.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Unresolved cited work

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-12T17:50:17.093350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-12T17:50:17.093350Z digest=sha256:815057c4305b101570e909194b28ecdc9a7865417b5dfb87e4f12cd42f788796

Observation 1449e077-a764-45cc-8608-9958a9ea9445 · outbound

This paper cites In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the AAAI Conference on Artificial Intelligence, vol

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.696212Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.098309Z digest=sha256:6c509e64c8f4293d50bb48c55fc3e4afb6d387da79ad0be24662cea9b9fff7d5

Observation 39d0efb5-5cf8-4952-8b9a-e43f93e89a40 · outbound

This paper cites In: International Conference on Computer Aided Verification, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: International Conference on Computer Aided Verification, pp

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.679621Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.103398Z digest=sha256:c8ae1929be86d550609abee6c5d93839048a269917239ef6d37fc51a45653011

Observation d1cded76-e562-43fc-83c2-5f2c40f5fda2 · outbound

This paper cites Formal Methods in System Design 51(3), 608–636 (2017).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Formal Methods in System Design 51(3), 608–636 (2017)

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.662997Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.108421Z digest=sha256:e532c48e16e86f8c7fea36e4bb83c3aea1b2a6fbf852b69ac5356d6a7e139331

Observation b98b7a58-3e12-411a-a2d1-10f535e74ed1 · outbound

This paper cites ACM Transactions on Computational Logic 24(4), 1–26 (2023).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout ACM Transactions on Computational Logic 24(4), 1–26 (2023)

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.645571Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.113445Z digest=sha256:f1ef675de99f961f9788af35fcaf441d135b84855a3e604738de1bcedbb1fe89

Observation 592c13bc-10ba-430d-b170-6d08c8aeed4d · outbound

This paper cites In: International Conference on Computer Aided Verification, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: International Conference on Computer Aided Verification, pp

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.628806Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.119132Z digest=sha256:2cf5e1b5fd00917bc440d4dfcc36cdce1552fbf2fef26d6595026823d70361ce

Observation 2ed95a24-e347-492e-9b4b-113471397558 · outbound

This paper cites In: CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN– FMCAD 2023, p.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN– FMCAD 2023, p

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.610654Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.123664Z digest=sha256:8cb10c6dbfda69c23c64a5ef988bf609576c9c8713e86904a1eb7c7e68f68a91

Observation eb82103c-d116-4d70-9d5f-0ebd0d78ebea · outbound

This paper cites In: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, pp

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.594670Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.128414Z digest=sha256:c4de78ebd06c88b9c05ba5f85996f6f47acd85922db278518ef325b069aae86d

Observation 3c8ee7d3-40a5-49a4-bb4f-b1f9b26516b6 · outbound

This paper cites an unresolved cited work.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Unresolved cited work

Reference 24

Resolution
unresolved
raw_fallback, observed 2026-08-12T17:50:17.578232Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.133009Z digest=sha256:6eadc0123e685c860d864d3205b6109977c9e62b6e69084e80b89502b35e30c6

Observation 10c3123d-b831-426d-9680-8263303aea3f · outbound

This paper cites ACM Transactions on Computer-Human Interaction (TOCHI) 7(1), 3–28 (2000) 37.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout ACM Transactions on Computer-Human Interaction (TOCHI) 7(1), 3–28 (2000) 37

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.561529Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.137841Z digest=sha256:f0fe8da87fad3fe6f43d0540eaaf3f93816677ee251f7579fe7df7a6ead70fc6

Observation 71c1bb4f-9dc5-4706-9139-dd7e896118b3 · outbound

This paper cites ACM Transactions on Computer- Human Interaction (TOCHI) 2(1), 64–103 (1995).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout ACM Transactions on Computer- Human Interaction (TOCHI) 2(1), 64–103 (1995)

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.543837Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.142421Z digest=sha256:a2116090f0d2f45f2188dda32c8263d1d5f608888dcb3708d9e65e9e2011a2d3

Observation f44d39e0-16a8-43ce-ae77-0d3be3b1f445 · outbound

This paper cites In: 2010 21st Australian Software Engineering Conference, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: 2010 21st Australian Software Engineering Conference, pp

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.528165Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.147772Z digest=sha256:ced903a7224eb18bccd90e6b9b33922f04e082aecd6f72dde1bd0d83a77bc010

Observation a9900899-db8d-4c77-bfdb-198f608a45bc · outbound

This paper cites Journal of Logical and Algebraic Methods in Programming 89, 67–94 (2017).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Journal of Logical and Algebraic Methods in Programming 89, 67–94 (2017)

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.511686Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.152567Z digest=sha256:499083eed5b18f1e2ea56161d73f2c5502caf4520dc8bbd4bedb039e092b1fe6

Observation 659f2f18-599d-4884-846d-a90aa7e8c2cf · outbound

This paper cites Eduvantage 1(1) (2013).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Eduvantage 1(1) (2013)

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.495170Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.157824Z digest=sha256:e929fdcdeb45e0b7adcfa4ef0d22241852895a6fe4b0a18632bdd96fdaa5def8

Observation e5bbad18-eefd-4983-8063-7aa20890d674 · outbound

This paper cites In: 2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: 2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), pp

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.478818Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.164437Z digest=sha256:8b5a41abfe57990e42b9e05ee9bbf1fd9c2da145312972ea26862d14b6f57612

Observation fc9ef862-86bf-4679-ab43-12f180430332 · outbound

This paper cites Procedia-Social and Behavioral Sciences 106, 2275–2279 (2013).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Procedia-Social and Behavioral Sciences 106, 2275–2279 (2013)

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.463109Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.169335Z digest=sha256:9bf1a4675e774c61f59a80f6096f58b893a31f465237229c20bdfa9103e96b07

Observation bec65fc3-afe9-4cdf-aa42-129cb637a6f1 · outbound

This paper cites In: Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.446537Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.174751Z digest=sha256:6293fb97161ff5da08ed377ce1ff0bc3a04abfd82190827c3a7e58574a1f5019

Observation 2c16d302-06a3-4028-9e8f-b50b0a96bee9 · outbound

This paper cites In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.429167Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.179817Z digest=sha256:76353134bab663982717ecfe138d10267a359d0653bdbc26825955d61e35b345

Observation e7697cb7-cac6-4781-a3e4-46838efa68ca · outbound

This paper cites ACM Transactions on Programming Languages and Systems (TOPLAS) 14(3), 339–395 (1992).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout ACM Transactions on Programming Languages and Systems (TOPLAS) 14(3), 339–395 (1992)

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.413356Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.184810Z digest=sha256:9bfc993e64383fb3c608497422158b8b45ceb449078cb215bbd081216ebfe29a

Observation bc8fffcd-0c7a-4c43-b1f6-71e9303dda47 · outbound

This paper cites Communications of the ACM 33(1), 54–63 (1990).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Communications of the ACM 33(1), 54–63 (1990)

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.396267Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.189860Z digest=sha256:aaa85983b99668fef626fbffc0e016ae35ffe4f4fbfcc3cd12391b451116e6c1

Observation 70a0c675-4ab0-4574-800e-caba32e2acd0 · outbound

This paper cites Software: Practice and Experience 23(5), 529–566 (1993).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Software: Practice and Experience 23(5), 529–566 (1993)

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.379830Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.195096Z digest=sha256:d047748459d33d08ad75e399b22307bbb95018a20c05b8a89f9eda242cd24547

Observation 60babe1f-2729-4684-bed7-8a087d742fea · outbound

This paper cites In: Proceedings of the 7th Annual ACM Symposium on User Interface Software and Technology, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 7th Annual ACM Symposium on User Interface Software and Technology, pp

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.362774Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.200489Z digest=sha256:a5cf5bb43b7350f1656cc57122793a94c167aae868cf7b87878539243d08ca86

Observation 277a20cf-ce75-4e59-9eda-4a04503e9bf9 · outbound

This paper cites In: International Conference on Principles 38 and Practice of Constraint Programming, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: International Conference on Principles 38 and Practice of Constraint Programming, pp

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.344585Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.205582Z digest=sha256:69d4b83b57a6781313421d5b447acbc3c466656f7f2c7d574e9dd5ed1cc100ea

Observation 40a2b8b8-fbf0-452f-8a56-3ebe600b3847 · outbound

This paper cites Constraints 7, 229–254 (2002).

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout Constraints 7, 229–254 (2002)

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.326321Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.210795Z digest=sha256:94946091773c85ea6c8c57136092d82d78f0fd3d479fc1a6d3c93e0d06c5bc17

Observation 973626fc-66e4-4a2d-b8b3-69b047d6b566 · outbound

This paper cites In: 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, pp

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.308599Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.215973Z digest=sha256:e5560b33cd169e95680c8e275bb26b331c70b17c0326fd8aa7cebb81140c6377

Observation f9d2dc57-5e33-4134-846f-f141d021a672 · outbound

This paper cites In: Walsh, T.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Walsh, T

Reference 41

Resolution
verified exact
doi, observed 2026-08-12T17:50:17.271729Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.220871Z digest=sha256:e19837ca83ce755ef81460d9651403979b1b9bd58e6ea48db943a6031d83a517

Observation eb674ffa-3332-40d2-9694-7ed005612645 · outbound

This paper cites In: Proceedings of the 13th International Conference of the NZ Chapter of the ACM’s Special Interest Group on Human-Computer Interaction, pp.

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout In: Proceedings of the 13th International Conference of the NZ Chapter of the ACM’s Special Interest Group on Human-Computer Interaction, pp

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-08-12T17:50:17.290038Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-12T17:50:17.226858Z digest=sha256:08cf477b5d7898359726d45f559dda0e46a310b3d9c06f3f5d50831973e41d02

Pith citing papers

No inbound Pith citation observations are available.