Kimbal George Marriott

Publications8
h-index4
Citations950
Highly Influential Citations62
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • K. Marriott
  • 261 Publications, 6,589 Citations
  • Peter James Stuckey
  • 527 Publications, 12,549 Citations
  • A. R. Jansen
  • 9 Publications, 169 Citations
  • A. Borning
  • 183 Publications, 9,326 Citations
  • 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 the… Expand
  • 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 new… Expand
  • 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 width… Expand
  • 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
Compiling adaptive diagrams in SVG
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