Autonomous Demand-Side Management Based on Game-Theoretic Energy Consumption Scheduling for the Future Smart Grid
Elicitation for Preferences Single Peaked on Trees
The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable
A novel paradigm for calculating Ramsey number via Artificial Bee Colony Algorithm
HordeQBF: A Modular and Massively Parallel QBF Solver
Towards Analytics Aware Ontology Based Access to Static and Streaming Data