AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
DISTANCE-SAT: complexity and algorithms
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Consistency restoriation and explanations in dynamic CSPs----application to configuration
Artificial Intelligence
On the Hamming distance of constraint satisfaction problems
Theoretical Computer Science - Complexity and logic
Diverse Product Recommendations Using an Expressive Language for Case Retrieval
ECCBR '02 Proceedings of the 6th European Conference on Advances in Case-Based Reasoning
Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
A distance function to support optimized selection decisions
Decision Support Systems
ExpertClerk: navigating shoppers' buying process with the combination of asking and proposing
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Algorithms for the maximum hamming distance problem
CSCLP'04 Proceedings of the 2004 joint ERCIM/CoLOGNET international conference on Recent Advances in Constraints
A Soft Constraint of Equality: Complexity and Approximability
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Finding Similar or Diverse Solutions in Answer Set Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Preference-based search using example-critiquing with suggestions
Journal of Artificial Intelligence Research
Distance constraints in constraint satisfaction
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Domain independent approaches for finding diverse plans
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Reasoning about optimal collections of solutions
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Constraint-based local search for the automatic generation of architectural tests
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
A declarative approach to robust weighted Max-SAT
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Value-ordering heuristics: search performance vs. solution diversity
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Reducing chaos in SAT-like search: finding solutions close to a given one
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
Generating diverse solutions in SAT
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
Soft constraints of difference and equality
Journal of Artificial Intelligence Research
A toolkit for designing interactive musical agents
Proceedings of the 23rd Australian Computer-Human Interaction Conference
Algorithms for max hamming exact satisfiability
ISAAC'05 Proceedings of the 16th international conference on Algorithms and Computation
Dynamic SAT with decision change costs: formalization and solutions
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Bounding, filtering and diversification in CP-based local branching
Journal of Heuristics
Generating diverse plans to handle unknown and partially known user preferences
Artificial Intelligence
Reasoning over biological networks using maximum satisfiability
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Reformulation based MaxSAT robustness
Constraints
Diverse motion variations for physics-based character animation
Proceedings of the 12th ACM SIGGRAPH/Eurographics Symposium on Computer Animation
On lazy and eager interactive reconfiguration
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 0.00 |
It is useful in a wide range of situations to find solutions which are diverse (or similar) to each other. We therefore define a number of different classes of diversity and similarity problems. For example, what is the most diverse set of solutions of a constraint satisfaction problem with a given cardinality? We first determine the computational complexity of these problems. We then propose a number of practical solution methods, some of which use global constraints for enforcing diversity (or similarity) between solutions. Empirical evaluation on a number of problems show promising results.