For some computational problems (eg, product configuration, planning, diagnosis, query
answering, phylogeny reconstruction), computing a set of similar/diverse solutions may be …

We study two declarative programming languages namely Answer Set Programming (ASP)
and Constraint Programming (CP) on four grid puzzles: Akari, Kakuro, Nurikabe, and …

Constraint answer set programming (CASP) is a declarative problem solving paradigm that
combines the strengths of constraint programming (CP) and answer set programming (ASP) …

Escape routing for Printed Circuit Boards (PCBs) is an important problem arising from
modern packaging with large numbers of densely spaced pins, such as BGAs. Single-layer …

Abstract Reasoning about Action and Change (RAC) and Answer Set Programming (ASP)
are two well-known fields in AI for logic-based reasoning. Each paradigm bears unique …

We study a variation of the Stable Marriage problem, where every man and every woman
express their preferences as preference lists which may be incomplete and contain ties. This …

Tracking several objects across multiple cameras is essential for collaborative monitoring in
distributed camera networks. The tractability of the related optimization aiming at tracking a …

The delivery of Public Services to citizens is developing into a challenging task, as the urban
population increases and the related networks are becoming more complex and entangled …

Abstract Satisfiability Modulo Theories (SMT) solvers are a class of efficient constraint
solvers which form integral parts of many algorithms. Over the years, dozens of different …

A synthesis approach based on Answer Set Programming (ASP) for heterogeneous system-
on-chips to be used in distributed camera networks is presented. In such networks, the tight …