Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Bohan, Li, Dawei, Fu, Ming, Cai, Shaowei
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Human-Computer Interaction
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A Local Search Algorithm for MaxSMT(LIA)
di: He, Xiang, et al.
Pubblicazione: (2024)

Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
di: Huvar, Ondřej, et al.
Pubblicazione: (2026)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
di: Mohamed, Abdalrhman, et al.
Pubblicazione: (2025)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
di: Brown, Chad E., et al.
Pubblicazione: (2025)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
di: Janota, Mikoláš, et al.
Pubblicazione: (2026)

Invariant Checking for SMT-based Systems with Quantifiers
di: Redondi, Gianluca, et al.
Pubblicazione: (2024)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
di: Bartholomew, Michael, et al.
Pubblicazione: (2025)

Efficient Volume Computation for SMT Formulas
di: Shaw, Arijit, et al.
Pubblicazione: (2025)

An SMT Theory for n-Indexed Sequences
di: Hara, Hichem Rami Ait El, et al.
Pubblicazione: (2024)

An SMT-LIB Theory of Finite Fields
di: Hader, Thomas, et al.
Pubblicazione: (2024)

Hint-Based SMT Proof Reconstruction
di: Clune, Joshua, et al.
Pubblicazione: (2026)

On SMT Theory Design: The Case of Sequences
di: Hara, Hichem Rami Ait El, et al.
Pubblicazione: (2024)

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
di: Huang, Ruanqianqian, et al.
Pubblicazione: (2025)

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols
di: Hozzová, Petra, et al.
Pubblicazione: (2025)

SMT(LIA) Sampling with High Diversity
di: Lai, Yong, et al.
Pubblicazione: (2025)

Proof Assistants for Teaching: a Survey
di: Minh, Frédéric Tran, et al.
Pubblicazione: (2025)

Investigating the Impact and Student Perceptions of Guided Parsons Problems for Learning Logic with Subgoals
di: Tithi, Sutapa Dey, et al.
Pubblicazione: (2025)

Number theory combination: natural density and SMT
di: Toledo, Guilherme V., et al.
Pubblicazione: (2025)

Integer Reasoning Modulo Different Constants in SMT
di: Pertseva, Elizaveta, et al.
Pubblicazione: (2025)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
di: Hader, Thomas, et al.
Pubblicazione: (2024)

Towards Learning Infinite SMT Models (Work in Progress)
di: Janota, Mikoláš, et al.
Pubblicazione: (2025)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
di: Huvar, Ondřej, et al.
Pubblicazione: (2026)

Towards SMT Solver Stability via Input Normalization
di: Amrollahi, Daneshvar, et al.
Pubblicazione: (2024)

Approximating Human Models During Argumentation-based Dialogues
di: Tang, Yinxu, et al.
Pubblicazione: (2024)

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
di: Civini, Emanuele, et al.
Pubblicazione: (2026)

A Relational Theory of Grounding and a new Grounder for SMT
di: Carbonnelle, Pierre
Pubblicazione: (2026)

Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
di: Tang, Yinxu, et al.
Pubblicazione: (2025)

An Encoding for CLP Problems in SMT-LIB
di: Amrollahi, Daneshvar, et al.
Pubblicazione: (2024)

On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages
di: Gatterbauer, Wolfgang, et al.
Pubblicazione: (2024)

Disjoint Projected Enumeration for SAT and SMT without Blocking Clauses
di: Spallitta, Giuseppe, et al.
Pubblicazione: (2024)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
di: Arias, Jaime, et al.
Pubblicazione: (2024)

Portus: Linking Alloy with SMT-based Finite Model Finding
di: Dancy, Ryan, et al.
Pubblicazione: (2024)

Towards Automatic Linearization via SMT Solving
di: Cao, Jian, et al.
Pubblicazione: (2024)

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
di: Judson, Samuel, et al.
Pubblicazione: (2023)

Approximate SMT Counting Beyond Discrete Domains
di: Shaw, Arijit, et al.
Pubblicazione: (2025)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
di: Ho, Loan, et al.
Pubblicazione: (2025)

CanvasPic: An Interactive Tool for Freely Generating Facial Images Based on Spatial Layout
di: Wei, Jiafu, et al.
Pubblicazione: (2024)

LeanTutor: Towards a Verified AI Mathematical Proof Tutor
di: Patel, Manooshree, et al.
Pubblicazione: (2025)

Usable-by-Construction: a formal framework
di: Reeves, Steve
Pubblicazione: (2024)

Transparent AI: Developing an Explainable Interface for Predicting Postoperative Complications
di: Ren, Yuanfang, et al.
Pubblicazione: (2024)