Choco-solver Page 1 HAL Id: hal-03932507 https://hal.science/hal-03932507 Submitted on 10
Jan 2023 HAL is a multi-disciplinary open access archive for the deposit and dissemination of …

Abstract Wireless Sensor Network (WSN) gains a lot of research devotion because of their
unique features as compared to traditional networks. The resource constraints next …

The graph edit distance is a widely used distance measure for labelled graph. However,
A★− GED, the standard approach for its exact computation, suffers from huge runtime and …

By representing the constraints and objective function in factorized form, graphical models
can concisely define various NP-hard optimization problems. They are therefore extensively …

In the ongoing quest for hybridizing discrete reasoning with neural nets, there is an
increasing interest in neural architectures that can learn how to solve discrete reasoning or …

The Implicit Hitting Set (HS) approach has shown very effective for MaxSAT solving.
However, only preliminary promising results have been obtained for the very similar …

In recent years, 5G and the Internet of Things (IoT) have been integrated into a variety of
applications to support sustainable communication systems. In the presence of intermediate …

In the evolution of digital technology, e-commerce sectors are gradually changing to realize
customers' demands and supply required things with low cost and due time. Recently …

Graphical models (GMs) define a family of mathematical models aimed at the concise
description of multivariate functions using decomposability. We restrict ourselves to functions …

Proteins are the main active molecules of life. Although natural proteins play many roles, as
enzymes or antibodies for example, there is a need to go beyond the repertoire of natural …