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.

翻译：我们提出了一种原形在线系统，用于自动化计算满足不同用户特定约束的图线性布局。当前系统支持四种线性布局类型：栈（stack）、队列（queue）、riquee（riquee，一种栈与队列的混合结构）及双端队列（deque），以及任意组合的混合布局。系统包含两大核心组件：客户端与服务器端。客户端基于简易交互式编辑器构建，支持基本的图操作，并集成多项扩展功能，允许用户定义并进一步约束待计算的线性布局特性。服务器端通过文档完善的API支持多客户端并发访问，负责线性布局的实质性计算。其算法核心是基于SAT表述的扩展模型——该表述已被验证具有足量鲁棒性，可在合理时间内求解非平凡实例。