Current browse context:
cs.DM
Change to browse by:
References & Citations
Computer Science > Discrete Mathematics
Title: An Online Framework to Interact and Efficiently Compute Linear Layouts of Graphs
(Submitted on 21 Mar 2020 (v1), last revised 17 Mar 2023 (this version, v2))
Abstract: We present a prototype online system to automate the procedure of computing different types of linear layouts of graphs under different user-specific constraints. Currently, four different types of linear layouts are supported: stack, queue, rique and deque, as well as, any mixture of them.
The system consists of two main components; the client and the server sides. The client side is built upon an easy-to-use editor, which supports basic interaction with graphs, enriched with several additional features to allow the user to define and further constraint the linear layout to be computed. The server side, which is available to multiple clients through a well-documented API, is responsible for the actual computation of the linear layout. Its algorithmic core is an extension of a SAT formulation that is known to be robust enough to solve non-trivial instances in reasonable amount of time.
Submission history
From: Michael Bekos [view email][v1] Sat, 21 Mar 2020 12:17:25 GMT (324kb,D)
[v2] Fri, 17 Mar 2023 16:46:59 GMT (323kb,D)
Link back to: arXiv, form interface, contact.