[HTML][HTML] Coalition structure generation: A survey
The coalition structure generation problem is a natural abstraction of one of the most
important challenges in multi-agent systems: How can a number of agents divide …
important challenges in multi-agent systems: How can a number of agents divide …
Feature-oriented software product lines
The idea for this book arose from a series of lectures on modern programming paradigms,
feature-oriented programming, and software product lines that are continuously held at the …
feature-oriented programming, and software product lines that are continuously held at the …
Modeling cyber–physical systems
This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …
[BUCH][B] Ontology matching
J Euzenat, P Shvaiko - 2007 - Springer
An ontology typically provides a vocabulary describing a domain of interest and a
specification of the meaning of terms in that vocabulary. Depending on the precision of this …
specification of the meaning of terms in that vocabulary. Depending on the precision of this …
Conflict-driven clause learning SAT solvers
One of the most important paradigm shifts in the use of SAT solvers for solving industrial
problems has been the introduction of clause learning. Clause learning entails adding a …
problems has been the introduction of clause learning. Clause learning entails adding a …
Secure state estimation for cyber-physical systems under sensor attacks: A satisfiability modulo theory approach
Secure state estimation is the problem of estimating the state of a dynamical system from a
set of noisy and adversarially corrupted measurements. Intrinsically a combinatorial …
set of noisy and adversarially corrupted measurements. Intrinsically a combinatorial …
Program synthesis using conflict-driven learning
We propose a new conflict-driven program synthesis technique that is capable of learning
from past mistakes. Given a spurious program that violates the desired specification, our …
from past mistakes. Given a spurious program that violates the desired specification, our …
Open-WBO: A Modular MaxSAT Solver,
This paper presents open-wbo, a new MaxSAT solver. open-wbo has two main features.
First, it is an open-source solver that can be easily modified and extended. Most MaxSAT …
First, it is an open-source solver that can be easily modified and extended. Most MaxSAT …
An overview of parallel SAT solving
Boolean satisfiability (SAT) solvers are currently very effective in practice. However, there
are still many challenging problems for SAT solvers. Nowadays, extra computational power …
are still many challenging problems for SAT solvers. Nowadays, extra computational power …
Combining multi-objective search and constraint solving for configuring large software product lines
Software Product Line (SPL) feature selection involves the optimization of multiple
objectives in a large and highly constrained search space. We introduce SATIBEA, that …
objectives in a large and highly constrained search space. We introduce SATIBEA, that …