QOCA

We describe an object-oriented constraint solving toolkit, QOCA, designed for interactive graphical applications. It has a simple yet powerful interface based on the metric space model for constraint manipulation. In this model interaction with the constraint solver can occur in three ways: a constraint may be added, a constraint may be deleted, or values for designated “edit” variables may be suggested. Currently, QOCA supports linear arithmetic constraints and two different metrics: the square of the Euclidean distance and Manhattan distance. It provides three solvers, all of which rely on keeping the constraints in solved form and relies on novel algorithms for efficient resolving of constraints during direct manipulation. We provide a thorough evaluation of QOCA, both of the interface design and the speed of constraint solving.


References in zbMATH (referenced in 27 articles , 1 standard article )

Showing results 1 to 20 of 27.
Sorted by year (citations)

1 2 next

  1. Jamil, Noreen; Müller, Johannes; Naeem, M.Asif; Lutteroth, Christof; Weber, Gerald: Extending linear relaxation for non-square matrices and soft constraints (2016)
  2. Jamil, Noreen; Chen, Xuemei; Cloninger, Alexander: Hildreth’s algorithm with applications to soft constraints for user interface layout (2015)
  3. Schwarzentruber, François: Drawing interactive Euler diagrams from region connection calculus specifications (2015)
  4. Gajos, Krzysztof Z.; Weld, Daniel S.; Wobbrock, Jacob O.: Automatically generating personalized user interfaces with Supple (2010)
  5. Bistarelli, Stefano; Codognet, Philippe; Hui, H.K.C.; Lee, J.H.M.: Solving finite domain constraint hierarchies by local consistency and tree search (2009)
  6. Lutteroth, Christof; Strandh, Robert; Weber, Gerald: Domain specific high-level constraints for user interface layout (2008)
  7. Yu, Yinlei; Malik, Sharad: Lemma learning in SMT on linear constraints (2006)
  8. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; van Rossum, Peter; Schulz, Stephan; Sebastiani, Roberto: An incremental and layered procedure for the satisfiability of linear arithmetic logic (2005)
  9. Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; van Rossum, Peter; Schulz, Stephan; Sebastiani, Roberto: M\bfathSAT: Tight integration of SAT and mathematical decision procedures (2005)
  10. Li, Hui; Williams, Brian: Generalized conflict learning for hybrid discrete/linear optimization (2005)
  11. Jansen, Anthony R.; Marriott, Kim; Meyer, Bernd: Cider: A component-based toolkit for creating smart diagram environments (2004)
  12. Marriott, Kim; Meyer, Bernd; Stuckey, Peter J.: Towards flexible graphical communication using adaptive diagrams (2004)
  13. Hosobe, Hiroshi; Matsuoka, Satoshi: A foundation of solution methods for constraint hierarchies (2003)
  14. Marriott, Kim; Stuckey, Peter; Tam, Vincent; He, Weiqing: Removing node overlapping in graph layout using constrained optimization (2003)
  15. Harvey, Warwick; Stuckey, Peter J.; Borning, Alan: Fourier elimination for compiling constraint hierarchies (2002)
  16. Marriott, Kim; Chok, Sitt Sen: QOCA: A constraint solving toolkit for interactive graphical applications (2002)
  17. Bergman, Lawrence D.; Kichkaylo, Tatiana; Banavar, Guruduth; Sussman, Jeremy: Pervasive application development and the WYSIWYG pitfall (2001)
  18. Marriott, Kim; Moulder, Peter; Stuckey, Peter J.; Borning, Alan: Solving disjunctive constraints for interactive graphical applications (2001)
  19. Srivastava, Biplav; Kombhampati, Subbarao; Do, Minh B.: Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan (2001)
  20. Wolfman, Steven A.; Weld, Daniel S.: Combining linear programming and satisfiability solving for resource planning (2001)

1 2 next