• Publications
  • Influence
Programming with Constraints: An Introduction
TLDR
Part 1 Constraints: constraints simplifications, optimization and implication finite constraint domains. Expand
  • 923
  • 61
Towards Optimal Table Layout
TLDR
We present a new approach to table layout that extends the current standard by allowing the designer to specify arbitrary linear equality and inequality constraints over the column widths and row heights. Expand
  • 6
  • 1
Parsing of algebraic expressions by experienced users of mathematics
The present study investigates how experienced users of mathematics parse algebraic expressions. The main issues examined are the order in which the symbols in an expression are scanned and theExpand
  • 14
Independence and search space preservation in dynamically scheduled constraint logic languages
This paper performs a further generalization of the notion of independence in constraint logic programs to the context of constraint logic programs with dynamic scheduling. The complexity of this newExpand
  • 4
Fast Node Overlap Removal in Graph Layout Adjustment
Most graph layout algorithms in the field of graph drawing treat nodes as points. The problem of node overlap removal is to adjust the layout generated by such methods so that nodes of non-zero widthExpand
  • 2
  • PDF
Towards the new modelling language Zinc
TLDR
This paper presents the preliminary design of Zinc, a new solver independent modelling language which is intended to support all three solving techniques. Expand
  • 1
  • PDF
Comparison of haptic and non-speech audio feedback
TLDR
We report a usability study which investigated the use of haptic versus non-speech audio interface to identify different geometric shapes. Expand