The following pages link to QOCA (Q13507):
Displayed 26 items.
- Incremental constraint deletion in systems of linear constraints (Q672413) (← links)
- Fourier elimination for compiling constraint hierarchies (Q698090) (← links)
- Extending linear relaxation for non-square matrices and soft constraints (Q738985) (← links)
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures (Q862395) (← links)
- Domain specific high-level constraints for user interface layout (Q941814) (← links)
- Ultraviolet: A constraint satisfaction algorithm for interactive graphics (Q1387624) (← links)
- A foundation of solution methods for constraint hierarchies (Q1405325) (← links)
- Removing node overlapping in graph layout using constrained optimization (Q1405333) (← links)
- Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan (Q1606337) (← links)
- Constraint-based document layout for the Web (Q1856232) (← links)
- A refinement of an iterative orthogonal projection method (Q2279843) (← links)
- Hildreth's algorithm with applications to soft constraints for user interface layout (Q2351069) (← links)
- Drawing interactive Euler diagrams from region connection calculus specifications (Q2629218) (← links)
- (Q2729855) (← links)
- Combining linear programming and satisfiability solving for resource planning (Q2775780) (← links)
- Solving finite domain constraint hierarchies by local consistency and tree search (Q3401378) (← links)
- Generalized Conflict Learning for Hybrid Discrete/Linear Optimization (Q3524194) (← links)
- (Q4473028) (← links)
- (Q4475278) (← links)
- (Q4475644) (← links)
- An execution scheme for interactive problem-solving in concurrent constraint logic programming languages (Q4503746) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463949) (← links)
- A relational model of data for large shared data banks (Q5607609) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703769) (← links)
- Diagrammatic Representation and Inference (Q5714099) (← links)
- Lemma Learning in SMT on Linear Constraints (Q5756582) (← links)