Ian Davidson

发表

Accelerating Online CP Decompositions for Higher Order Tensors

James Bailey, Shuo Zhou, Xuan Vinh Nguyen, 2016, KDD.

Conceptual Data Model

Bing Liu, Gottfried Vossen, Dimitrios Gunopulos, 2009, Encyclopedia of Database Systems.

Clinical risk prediction with multilinear sparse logistic regression

Ping Zhang, Fei Wang, Ian Davidson, 2014, KDD.

Constraint Programming for an Efficient and Flexible Block Modeling Solver

Ian Davidson, Siegfried Nijssen, Alex Lucía Mattenet, 2020, AAAI.

Active Spectral Clustering

Ian Davidson, Xiang Wang, I. Davidson, 2010, 2010 IEEE International Conference on Data Mining.

Complex Interactions in Social and Event Network Analysis

Ian Davidson, Peter B. Walker, Sidney G. Fooshee, 2015, SBP.

Recurrent Encoder-Decoder Networks for Time-Varying Dense Prediction

Jiayu Zhou, Ian Davidson, Bian Wu, 2017, 2017 IEEE International Conference on Data Mining (ICDM).

Building Code of Australia Expert Assistant – Putting Research into Practice

Ian Davidson, Ron Sharpe, Stephen Oakes, 1994 .

The complexity of non-hierarchical clustering with instance and cluster level constraints

S. S. Ravi, Ian Davidson, I. Davidson, 2007, Data Mining and Knowledge Discovery.

Scalable Constrained Spectral Clustering via the Randomized Projected Power Method

Ian Davidson, Buyue Qian, Weifeng Zhi, 2017, 2017 IEEE International Conference on Data Mining (ICDM).

A SAT-based Framework for Efficient Constrained Clustering

S. S. Ravi, Ian Davidson, Leonid Shamis, 2010, SDM.

Formalizing Hierarchical Clustering as Integer Linear Programming

Ian Davidson, Siegfried Nijssen, Sean Gilpin, 2013, AAAI.

A decision tree framework for understanding blast-induced mild Traumatic Brain Injury in a military medical database

Ian Davidson, Peter B. Walker, Melissa L. Mehalick, 2017 .

Applications of Transductive Spectral Clustering Methods in a Military Medical Concussion Database

Ian Davidson, Peter B. Walker, Melissa L. Mehalick, 2017, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Multi-source domain adaptation and its application to early detection of fatigue

Sethuraman Panchanathan, Jieping Ye, Ian Davidson, 2011, KDD.

Emissions and cost savings with an alternative high-conductivity material for current collection

Ian Davidson, Rafael Manory, DaHai He, 2012 .

On The Equivalence of Tries and Dendrograms - Efficient Hierarchical Clustering of Traffic Data pdf

Ian Davidson, Chia-Tung Kuo, I. Davidson, 2018, ArXiv.

Influential factors of online fraud occurrence in retailing banking sectors from a global prospective: An empirical study of individual customers in the UK and China

Ian Davidson, Yan Lindsay Sun, Y. Sun, 2015, Inf. Comput. Secur..

Towards Fair Deep Clustering With Multi-State Protected Variables pdf

Ian Davidson, Bokun Wang, I. Davidson, 2019, ArXiv.

Cda R2

Bing Liu, Gottfried Vossen, Qing Li, 2009, Encyclopedia of Database Systems.

Keyless Steganography in Spatial Domain Using Energetic Pixels

S. S. Ravi, Ian Davidson, Goutam Paul, 2012, ICISS.

The Design of Non-Linear Structures Using a Small Micro-Computer

Ian Davidson, 1985 .

Using the Central Limit Theorem for Belief Network Learning

Ian Davidson, Minoo Aminian, I. Davidson, 2004, AI&M.

Protocol test systems III : proceedings of the IFIP TC6 Third International Workshop on Protocol Test Systems

Ian Davidson, David M. Litwack, 1991 .

Joint Transfer and Batch-mode Active Learning

Sethuraman Panchanathan, Jieping Ye, Ian Davidson, 2013, ICML.

Finding Alternative Clusterings Using Constraints

Ian Davidson, Zijie Qi, I. Davidson, 2008, 2008 Eighth IEEE International Conference on Data Mining.

A general approach to incorporate data quality matrices into data mining algorithms

Ashwin Satyanarayana, Ian Davidson, Giri Kumar Tayi, 2004, KDD '04.

Flexible constrained spectral clustering

Ian Davidson, Xiang Wang, I. Davidson, 2010, KDD.

Propagating Ranking Functions on a Graph: Algorithms and Applications

Ian Davidson, Buyue Qian, Xiang Wang, 2015, AAAI.

Human Guided Linear Regression With Feature-Level Constraints

Ian Davidson, Aubrey Gress, I. Davidson, 2018, AAAI.

When Efficient Model Averaging Out-Performs Boosting and Bagging

Ian Davidson, Wei Fan, I. Davidson, 2006, PKDD.

An Ensemble Technique for Stable Learners with Performance Bounds

Ian Davidson, I. Davidson, 2004, AAAI.

Probabilistic Formulations of Regression with Mixed Guidance

Ian Davidson, Aubrey Gress, 2016, 2016 IEEE 16th International Conference on Data Mining (ICDM).

Post-traitement pour la classification probabiliste non supervisée sous contraintes

Ian Davidson, Thi-Bich-Hanh Dao, Christel Vrain, 2020, EGC.

Stochastic Coordinate Coding and Its Application for Drosophila Gene Expression Pattern Annotation pdf

Qingyang Li, Jieping Ye, Qian Sun, 2014, ArXiv.

Constrained Tensor Decomposition via Guidance: Increased Inter and Intra-Group Reliability in fMRI Analyses

Ian Davidson, Peter B. Walker, Sidney G. Fooshee, 2015, HCI.

Transfer Learning in Intelligent Tutoring Systems - Results, Challenges and New Directions

Ian Davidson, Jeremiah T. Folsom-Kovarik, Aubrey Gress, 2017, FLAIRS Conference.

A Framework for Determining the Fairness of Outlier Detection

Ian Davidson, S. S. Ravi, I. Davidson, 2020, ECAI.

Editorial: Special issue on mining low-quality data

Taghi M. Khoshgoftaar, Ian Davidson, Shichao Zhang, 2007, Knowledge and Information Systems.

A Graph-Based Approach for Active Learning in Regression

S. S. Ravi, Ian Davidson, Hongjing Zhang, 2020, SDM.

Guest editorial: Special issue on data mining for medicine and healthcare

Fei Wang, Ian Davidson, Zoran Obradovic, 2015, Data Mining and Knowledge Discovery.

Image Constrained Blockmodelling: A Constraint Programming Approach

James Bailey, Kotagiri Ramamohanarao, Christopher Leckie, 2018, SDM.

Real Time Engineering-Based Simulation Training Addresses Risk in Managed Pressure Drilling

Ian Davidson, Rolv Rommetveit, Morten Svendsen, 2017 .

A Dynamic Adaptive Sampling Algorithm (DASA) for Real World Applications: Finger Print Recognition and Face Recognition

Ashwin Satyanarayana, Ian Davidson, 2005, ISMIS.

Dense Transformer Networks pdf

Jun Li, Ian Davidson, Shuiwang Ji, 2017, ArXiv.

Network discovery via constrained tensor analysis of fMRI data

Ian Davidson, Owen T. Carmichael, Peter B. Walker, 2013, KDD.

An intelligent approach to boiler sootblowing

Ian Davidson, 2003 .

Constraint-driven clustering

Rong Ge, Ian Davidson, Martin Ester, 2007, KDD '07.

Computer Human Interaction (CHI)

Gottfried Vossen, Qing Li, Dimitrios Gunopulos, 2009, Encyclopedia of Database Systems.

On Sample Selection Bias and Its Efficient Correction via Model Averaging and Unlabeled Examples

Ian Davidson, Wei Fan, 2007, SDM.

Unsupervised Network Discovery for Brain Imaging Data

Fei Wang, Ian Davidson, Peter B. Walker, 2017, KDD.

Qinghua Zheng, Ian Davidson, Changchang Yin, 2017, 2017 IEEE International Conference on Data Mining (ICDM).

Descriptive Clustering: ILP and CP Formulations with Applications

S. S. Ravi, Ian Davidson, Thi-Bich-Hanh Dao, 2018, IJCAI.

Clustering with Constraints

Ian Davidson, 2017, Encyclopedia of Machine Learning and Data Mining.

Deep Constrained Clustering - Algorithms and Advances pdf

Ian Davidson, Sugato Basu, Hongjing Zhang, 2019, ArXiv.

The Cluster Description Problem - Complexity Results, Formulations and Approximations

S. S. Ravi, Ian Davidson, Antoine Gourru, 2018, NeurIPS.

Constrained Clustering: Advances in Algorithms, Theory, and Applications

Ian Davidson, Kiri L. Wagstaff, Sugato Basu, 2008 .

Constrained Clustering via Post-processing

Ian Davidson, Thi-Bich-Hanh Dao, Christel Vrain, 2020, DS.

Self-Taught Spectral Clustering via Constraint Augmentation

Jun Wang, Fei Wang, Ian Davidson, 2014, SDM.

An Information Theoretic Optimal Classifier for Semi-supervised Learning

Ian Davidson, Ke Yin, 2004, IDEAL.

Conceptual Modeling for Spatio-Temporal Applications

Bing Liu, Gottfried Vossen, Qing Li, 2009, Encyclopedia of Database Systems.

Improving document clustering using automated machine translation

Ian Davidson, Buyue Qian, Xiang Wang, 2012, CIKM '12.

A Framework for Outlier Description Using Constraint Programming

Ian Davidson, Chia-Tung Kuo, I. Davidson, 2016, AAAI.

Discovering Models from Structural and Behavioral Brain Imaging Data

Ian Davidson, Buyue Qian, Zilong Bai, 2018, KDD.

Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence Active Learning from Relative Queries

Fei Wang, Jieping Ye, Ian Davidson, 2022 .

Identifying and Generating Easy Sets of Constraints for Clustering

S. S. Ravi, Ian Davidson, I. Davidson, 2006, AAAI.

Speeding up k-means Clustering by Bootstrap Averaging

Ian Davidson, Ashwin Satyanarayana, I. Davidson, 2003 .

Data preparation using data quality matrices for classification mining

Ian Davidson, Giri Kumar Tayi, 2009, Eur. J. Oper. Res..

A Framework for Minimal Clustering Modification via Constraint Programming

S. S. Ravi, Ian Davidson, Thi-Bich-Hanh Dao, 2017, AAAI.

Efficient hierarchical clustering of large high dimensional datasets

Ian Davidson, Buyue Qian, Sean Gilpin, 2013, CIKM.

A Reconstruction Error Based Framework for Multi-Label and Multi-View Learning

Jieping Ye, Ian Davidson, Buyue Qian, 2015, IEEE Transactions on Knowledge and Data Engineering.

Simulation of Automated Data Collection in Buildings

Ian Davidson, Miroslaw J. Skibniewski, M. Skibniewski, 1995 .

Testing conformance to OSI standards

Ian Davidson, 1985, Comput. Commun..

Knowledge Guided Short-Text Classification for Healthcare Applications

Qinghua Zheng, Ian Davidson, Changchang Yin, 2017, 2017 IEEE International Conference on Data Mining (ICDM).

Connectionist Model

Bing Liu, Gottfried Vossen, Dimitrios Gunopulos, 2009, Encyclopedia of Database Systems.

Correlation Clustering

Bing Liu, Gottfried Vossen, Qing Li, 2009, Encyclopedia of Database Systems.

Two approaches to understanding when constraints help clustering

Ian Davidson, I. Davidson, 2012, KDD.

Clustering with Constraints: A Mean-Field Approximation Perspective

Ian Davidson, Kiri L. Wagstaff, Ruggero Pensa, 2008 .

Fast Pairwise Query Selection for Large-Scale Active Learning to Rank

Jun Wang, Ian Davidson, Xiang Wang, 2013, 2013 IEEE 13th International Conference on Data Mining.

Constrained Partitional Clustering of Text Data: An Overview

Ian Davidson, Sugato Basu, 2009 .

Multi-objective Multi-view Spectral Clustering via Pareto Optimization

Jieping Ye, Ian Davidson, Buyue Qian, 2013, SDM.

Proceedings of the 2012 SIAM International Conference on Data Mining

Ian Davidson, Joydeep Ghosh, Carlotta Domeniconi, 2012 .

Guided Learning Algorithms: An Application of Constrained Spectral Partitioning to Functional Magnetic Resonance Imaging (fMRI)

Ian Davidson, Owen T. Carmichael, Peter B. Walker, 2013, HCI.

On constrained spectral clustering and its applications

Ian Davidson, Buyue Qian, Xiang Wang, 2012, Data Mining and Knowledge Discovery.

Conditional Routing

Bing Liu, Gottfried Vossen, Qing Li, 2009, Encyclopedia of Database Systems.

Spectral Clustering for Medical Imaging

Ian Davidson, Owen T. Carmichael, Peter B. Walker, 2014, 2014 IEEE International Conference on Data Mining.

Using Background Contextual Knowledge for Document Representation

Ian Davidson, Arkadi Kosmynin, 1996, PODP.

Labels vs. Pairwise Constraints: A Unified View of Label Propagation and Constrained Spectral Clustering

Ian Davidson, Buyue Qian, Xiang Wang, 2012, 2012 IEEE 12th International Conference on Data Mining.

A Framework for Deep Constrained Clustering - Algorithms and Advances

Ian Davidson, Sugato Basu, Hongjing Zhang, 2019, ECML/PKDD.

Block Model Guided Unsupervised Feature Selection

Ian Davidson, Zilong Bai, Hoa Nguyen, 2020, KDD.

Active Matrix Completion

Jiayu Zhou, Sethuraman Panchanathan, Jieping Ye, 2013, 2013 IEEE 13th International Conference on Data Mining.

Semi-Supervised Dimension Reduction for Multi-Label Classification

Ian Davidson, Buyue Qian, I. Davidson, 2010, AAAI.

Active Learning with Partially Labeled Data via Bias Reduction

Ian Davidson, Minoo Aminian, 2005, FLAIRS Conference.

Extreme Learning to Rank via Low Rank Assumption

Ian Davidson, Cho-Jui Hsieh, Minhao Cheng, 2018, ICML.

Visualizing Clustering Results

Ian Davidson, I. Davidson, 2002, SDM.

Minimum Message Length Clustering Using Gibbs Sampling

Ian Davidson, I. Davidson, 2000, UAI.

Knowledge Driven Dimension Reduction for Clustering

Ian Davidson, I. Davidson, 2009, IJCAI.

Keyless dynamic optimal multi-bit image steganography using energetic pixels

S. S. Ravi, Ian Davidson, Goutam Paul, 2017, Multimedia Tools and Applications.

Batch mode active sampling based on marginal probability distribution matching

Sethuraman Panchanathan, Jieping Ye, Ian Davidson, 2012, TKDD.

Intractability and clustering with constraints

S. S. Ravi, Ian Davidson, I. Davidson, 2007, ICML '07.

When Is Constrained Clustering Beneficial, and Why?

Ian Davidson, Kiri Wagstaff, Sugato Basu, 2006, AAAI.

Guided learning for role discovery (GLRD): framework, algorithms, and applications

Ian Davidson, Tina Eliassi-Rad, Sean Gilpin, 2013, KDD.

A Framework for Simplifying Trip Data into Networks via Coupled Matrix Factorization

James Bailey, Ian Davidson, Chia-Tung Kuo, 2015, SDM.

Dense Transformer Networks for Brain Electron Microscopy Image Segmentation

Yongjun Chen, Ian Davidson, Shuiwang Ji, 2019, IJCAI.

Learning Automated Agents from Historical Game Data via Tensor Decomposition

Ian Davidson, Peter B. Walker, I. Davidson, 2015, SBP.

Agglomerative Hierarchical Clustering with Constraints: Theoretical and Empirical Results

S. S. Ravi, Ian Davidson, I. Davidson, 2005, PKDD.

Measuring Constraint-Set Utility for Partitional Clustering Algorithms

Ian Davidson, Kiri Wagstaff, Sugato Basu, 2006, PKDD.

How to “alternatize” a clustering algorithm

M. Shahriar Hossain, Naren Ramakrishnan, Ian Davidson, 2013, Data Mining and Knowledge Discovery.

Data mining for large datasets: intelligent sampling and filtering

Ashwin Satyanarayana, Ian Davidson, 2006 .

Clustering with Constraints: Feasibility Issues and the k-Means Algorithm

S. S. Ravi, Ian Davidson, I. Davidson, 2005, SDM.

Clustering with Complex Constraints - Algorithms and Applications

Naren Ramakrishnan, Ian Davidson, Patrick Butler, 2013, AAAI.

Charles Sturt University Albury Wodonga Campus- Biodiversity Conservation Management Plan

Ian Davidson, I. Davidson, 2009 .

Behavioral differences: insights, explanations and comparisons of French and US Twitter usage during elections

Ian Davidson, Julien Velcin, Antoine Gourru, 2019, Social Network Analysis and Mining.

Efficient Algorithms for Generating Provably Near-Optimal Cluster Descriptors for Explainability pdf

S. S. Ravi, Ian Davidson, Anil Vullikanti, 2020, AAAI.

Mixtures of Block Models for Brain Networks

Ian Davidson, Peter B. Walker, Zilong Bai, 2018, SDM.

Clustering with Constraints

Ian Davidson, 2010, Encyclopedia of Machine Learning.

Batch Mode Active Sampling Based on Marginal Probability Distribution Matching

Sethuraman Panchanathan, Jieping Ye, Ian Davidson, 2013, ACM Trans. Knowl. Discov. Data.

Clustering with Constraints

Ian Davidson, I. Davidson, 2009, Encyclopedia of Database Systems.

Unifying dependent clustering and disparate clustering for non-homogeneous data

M. Shahriar Hossain, Naren Ramakrishnan, Ian Davidson, 2010, KDD.

Efficient incremental constrained clustering

S. S. Ravi, Ian Davidson, Martin Ester, 2007, KDD '07.

An improved categorization of classifier's sensitivity on sample selection bias

Philip S. Yu, Ian Davidson, Bianca Zadrozny, 2005, Fifth IEEE International Conference on Data Mining (ICDM'05).

Bayesian Model Averaging Across Model Spaces via Compact Encoding

Ian Davidson, Ke Yin, 2004, ISAIM.

Clustering with Constraints

Ian Davidson, 2018, Encyclopedia of Database Systems.

Content-based Retrieval

Bing Liu, Gottfried Vossen, Qing Li, 2009, Encyclopedia of Database Systems.

MultiClust 2010: discovering, summarizing and using multiple clusterings

Ian Davidson, Jennifer G. Dy, Xiaoli Z. Fern, 2011, SKDD.

Locating secret messages in images

Ian Davidson, Goutam Paul, 2004, KDD '04.

Searching for Hidden Messages: Automatic Detection of Steganography

Ian Davidson, Goutam Paul, George Berg, 2003, IAAI.

Scalable Fast Rank-1 Dictionary Learning for fMRI Big Data Analysis

Jieping Ye, Ian Davidson, Xiang Li, 2016, KDD.

Hollow Core NANF with 0.28 dB/km Attenuation in the C and L Bands

Ian Davidson, Francesco Poletti, David J. Richardson, 2020, 2020 Optical Fiber Communications Conference and Exhibition (OFC).

Making Existing Clusterings Fairer: Algorithms, Complexity Results and Insights

S. S. Ravi, Ian Davidson, I. Davidson, 2020, AAAI.

Semi-Lazy Learning: Combining Clustering and Classifiers to Build More Accurate Models

Ian Davidson, Ke Yin, I. Davidson, 2003 .

Forecasting Skewed Biased Stochastic Ozone Days: Analyses and Solutions

Kun Zhang, Ian Davidson, Wei Fan, 2006, Sixth International Conference on Data Mining (ICDM'06).

A principled and flexible framework for finding alternative clusterings

Ian Davidson, Zijie Qi, I. Davidson, 2009, KDD.

Incorporating SAT solvers into hierarchical clustering algorithms: an efficient and flexible approach

Ian Davidson, Sean Gilpin, 2011, KDD.

Generic Constraint-Based Block Modeling Using Constraint Programming

Ian Davidson, Siegfried Nijssen, Pierre Schaus, 2019, BNAIC/BENELEARN.

Behavioral event data and their analysis

Ian Davidson, Peter B. Walker, Sean Gilpin, 2012, Data Mining and Knowledge Discovery.

Structural Graphical Lasso for Learning Mouse Brain Connectivity

Jieping Ye, Qian Sun, Ian Davidson, 2015, KDD.

Unified and Contrasting Cuts in Multiple Graphs: Application to Medical Imaging Segmentation

Jieping Ye, Ian Davidson, Owen T. Carmichael, 2015, KDD.

Transfer Regression via Pairwise Similarity Regularization pdf

Ian Davidson, Aubrey Gress, I. Davidson, 2017, ArXiv.

Towards Fluid Machine Intelligence: Can We Make a Gifted AI?

Ian Davidson, Peter B. Walker, I. Davidson, 2019, AAAI.

Learning Multiple Relative Attributes With Humans in the Loop

Ian Davidson, Yu-Gang Jiang, Buyue Qian, 2014, IEEE Transactions on Image Processing.

Accurate Estimation of Generalization Performance for Active Learning

Ian Davidson, Aubrey Gress, I. Davidson, 2015, 2015 IEEE International Conference on Data Mining.

Cooperative Content Distribution

Bing Liu, Gottfried Vossen, Qing Li, 2009, Encyclopedia of Database Systems.

Using instance-level constraints in agglomerative hierarchical clustering: theoretical and empirical results

S. S. Ravi, Ian Davidson, I. Davidson, 2009, Data Mining and Knowledge Discovery.

A Reconstruction Error Formulation for Semi-Supervised Multi-task and Multi-view Learning pdf

Ian Davidson, Buyue Qian, Xiang Wang, 2012, ArXiv.

Reverse testing: an efficient framework to select amongst classifiers under sample selection bias

Ian Davidson, Wei Fan, I. Davidson, 2006, KDD '06.

On the Way to Work

Ian Davidson, 2017 .

Coverage-based Outlier Explanation pdf

Ian Davidson, Leman Akoglu, Yue Wu, 2019, ArXiv.

Further Applications of a Particle Visualization Framework

Ian Davidson, Ke Yin, 2004, PAKDD.

Directed Interpretable Discovery in Tensors with Sparse Projection

Ian Davidson, Chia-Tung Kuo, 2014, SDM.

Active Learning to Rank using Pairwise Supervision

Jun Wang, Ian Davidson, Xiang Wang, 2013, SDM.

Sean Bonney's Commons: Familiarity and Repetition

Ian Davidson, 2011 .

Exploring New Methodologies for the Analysis of Functional Magnetic Resonance Imaging (fMRI) Following Closed-Head Injuries

Ian Davidson, Peter B. Walker, I. Davidson, 2011, HCI.

A flexible ILP formulation for hierarchical clustering

Ian Davidson, Sean Gilpin, I. Davidson, 2017, Artif. Intell..

A Framework for Actionable Clustering Using Constraint Programming

Ian Davidson, Thi-Bich-Hanh Dao, Christel Vrain, 2016, ECAI.

Discovering Contexts and Contextual Outliers Using Random Walks in Graphs

Ian Davidson, Xiang Wang, I. Davidson, 2009, 2009 Ninth IEEE International Conference on Data Mining.

Some Advances in Role Discovery in Graphs pdf

Ian Davidson, Tina Eliassi-Rad, Sean Gilpin, 2016, ArXiv.

A Flexible Framework for Projecting Heterogeneous Data

Ian Davidson, Aubrey Gress, I. Davidson, 2014, CIKM.

A Self-Supervised Deep Learning Framework for Unsupervised Few-Shot Learning and Clustering

Ian Davidson, Tianyang Zhan, Hongjing Zhang, 2021, Pattern Recognit. Lett..

Generic Constraint-based Block Modeling using Constraint Programming

Ian Davidson, Siegfried Nijssen, Pierre Schaus, 2021, J. Artif. Intell. Res..

Fairness and Explanation in Clustering and Outlier Detection

Ian Davidson, 2021, KDD.

Deep Descriptive Clustering

Ian Davidson, Hongjing Zhang, I. Davidson, 2021, IJCAI.

Deep Fair Discriminative Clustering pdf

Ian Davidson, Hongjing Zhang, I. Davidson, 2021, ArXiv.

Complex Clustering Using Constraint Programming : Modelling Electoral Map Creation

S. S. Ravi, Ian Davidson, Lars Kotthoff, 2015 .

Towards Efficient and Improved Hierarchical Clustering With Instance and Cluster Level Constraints

S. S. Ravi, Ian Davidson, I. Davidson, 2005 .

Reveling in Constraints

Ian Davidson, I. Davidson, Bruce Johnson, 2009, ACM Queue.