Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Discriminating Instance Generation for Automated Constraint Model Selection
Automatic Generation of Implied Constraints
Introduction to constraint databases
Symmetry Breaking in Constraint Programming
Constraint satisfaction problems: Algorithms and applications
Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem
4 constraint programming .
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
An Exhaustive DPLL Algorithm for Model Counting
Leveraging existing instrumentation to automatically infer invariant-constrained models
AutoModeling: Integrated Approach for Automated Model Generation by Ensemble Selection of Feature Subset and Classifier
Constraint Programming : In Pursuit of the Holy Grail
Advances in Instance Selection for Instance-Based Learning Algorithms
Conflict-Driven Answer Set Solving: From Theory to Practice
Constraint Logic Programming
Model checking csp revisited: Introducing a process analysis toolkit
New Techniques that Improve MACE-style Finite Model Finding
MiningZinc: A declarative framework for constraint-based mining
An Efficient Constraint Handling Method for Genetic Algorithms
Stochastic local search for satisfiability modulo theories
Multi-objective reasoning with constrained goal models
Epididymitis: revelations at the convergence of clinical and basic sciences
IkeaBot: An autonomous multi-robot coordinated furniture assembly system
An Artificial Intelligence Approach to Financial Fraud Detection under IoT Environment: A Survey and Implementation
ant system .
peer - to - peer rental markets in the sharing economy ∗ .