Pith. sign in

Paper Citation Record · LEDGER

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

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.

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-19T06:32:44.657259+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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-12T17:50:17.029907Z digest=sha256:611e99ec487a57fd7440a7157d1fc9abce31bcd80bc0dabe8bd294700f7202d8

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-12T17:50:17.047295Z digest=sha256:83adb0f2b661aa03d41569707d7fee60581cd7ef1b1f2ef0cc72073c66d88501

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-12T17:50:17.088213Z digest=sha256:8dd4565376bc4308f5c0fea2bc82a4062cc4eca8f9ba428a33e74295fdf9d389

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-12T17:50:17.098309Z digest=sha256:4bd695268a0ade361d6453be874e229a0f23590566dce4595ea0560a3f14daed

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-12T17:50:17.123664Z digest=sha256:9d66d825ff6150f7c5ca711bc9a8011265cd048c403802309217e6b7c307969e

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-12T17:50:17.133009Z digest=sha256:5178db7179d10c400a95f97d413a73e1eb639d409e36ceabfef56751bb8c27cb

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-12T17:50:17.164437Z digest=sha256:362ed68f4ab5e2ae95b1a9e3849f939cc4da71ffe6f0053a5be7701c8bfec984

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-12T17:50:17.174751Z digest=sha256:7ab0e065b18a41826e3cd38ff895eefa2c2871a225fa62f1e7a1b915b92b8c0b

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-12T17:50:17.205582Z digest=sha256:904a039b13aa22104d6b4c2503d0fbf01bf29255a6a81644f833a3a7227c4a33

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-12T17:50:17.210795Z digest=sha256:2e7e42ee06ef42709799094a47e023b58bb725f862e99754f816f7c1f4008a41

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

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-19T06:32:44.657259+00:00.

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

Pith citing papers

No inbound Pith citation observations are available.