EurekAlert!

DVRE: dominator-based variables reduction of encoding for model-based diagnosis

DVRE cuts MaxSAT encoding size offline and clauses online, delivering the fastest complete MBD on ISCAS-85 for both single- ...
EurekAlert!

New algorithm makes it easier for computers to solve decision making problems

Computer scientists often encounter problems relevant to real-life scenarios. For instance, "multiagent problems," a category characterized by multi-stage decision-making by multiple decision makers ...
ZDNet

IBM and ExxonMobil are building quantum algorithms to solve this giant computing problem

Research teams from energy giant ExxonMobil and IBM have been working together to find quantum solutions to one of the most complex problems of our time: managing the tens of thousands of merchant ...
Diginomica

The problem of algorithmic opacity, or "What the heck is the algorithm doing?"

Opacity in AI is a formal, academic description of what is more commonly referred to as, "What the heck is the algorithm doing?" It's a problem that is at the root of many ethical issues with AI. It ...
TechCrunch

Is a master algorithm the solution to our machine learning problems?

Machine learning is not new. We have witnessed it since the 1990s, when Amazon introduced a new “recommended for you” section for its users to display more personalized results. When we search for ...
JSTOR Daily

Branch-Price-and-Cut Algorithms for the Pickup and Delivery Problem with Time Windows and Last-in-First-Out Loading

This is a preview. Log in through your library . Abstract This paper proposes models and algorithms for the pickup and delivery vehicle routing problem with time windows and last-in-first-out (LIFO) ...