UpMax: User Partitioning for MaxSAT.
Pedro OrvalhoVasco M. ManquinhoRuben MartinsPublished in: SAT (2023)
Keyphrases
- user interface
- recommender systems
- upper bound
- user defined
- end users
- information overload
- user feedback
- lower bound
- user experience
- relevance feedback
- user preferences
- user oriented
- databases
- internet users
- user satisfaction
- user profiles
- user interaction
- collaborative filtering
- query processing
- expert systems
- search algorithm
- keywords
- knowledge base
- genetic algorithm
- data mining