We report on the state-of-the-art of software visualization. To ensure reproducibility, we
adopted the Systematic Literature Review methodology. That is, we analyzed 1440 entries …

Essay-writing is a complex, cognitively demanding activity. Essay-writers must synthesise
source texts and original ideas into a textual essay. Previous work found that writers produce …

Research in constraint programming typically focuses on problem solving efficiency.
However, the way users conceptualise problems and communicate with constraint …

Discrete constraint problems surface often in everyday life. Teachers might group students
with complex considerations and hospital administrators need to produce staff rosters …

Despite significant advances in computational approaches for modelling and solving
combinatorial optimisation problems, there are still considerable barriers that prevent …

Discrete constraint problems surface often in everyday life. Teachers might group students
with complex considerations and hospital administrators need to produce staff rosters …

This paper considers the time delay issue in the communication process among multi-
agents with directed fixed topology and presents a consensus protocol. Then a sufficient …

Visualizations can facilitate data exploration and communication of insights. While many
tools exist to support the design of interactive visualizations, the development process relies …

Its input language, Essence, is a high level problem specification language. Essence allows
writing problem specifications at a high level of abstraction and without having to make a lot …