[HTML][HTML] Coalition structure generation: A survey

T Rahwan, TP Michalak, M Wooldridge, NR Jennings - Artificial Intelligence, 2015 - Elsevier
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 …

Feature-oriented software product lines

S Apel, D Batory, C Kästner, G Saake - 2013 - Springer
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 …

Modeling cyber–physical systems

P Derler, EA Lee, AS Vincentelli - Proceedings of the IEEE, 2011 - ieeexplore.ieee.org
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 …

[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 …

Conflict-driven clause learning SAT solvers

J Marques-Silva, I Lynce, S Malik - Handbook of satisfiability, 2021 - ebooks.iospress.nl
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 …

Secure state estimation for cyber-physical systems under sensor attacks: A satisfiability modulo theory approach

Y Shoukry, P Nuzzo, A Puggelli… - … on Automatic Control, 2017 - ieeexplore.ieee.org
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 …

Program synthesis using conflict-driven learning

Y Feng, R Martins, O Bastani, I Dillig - ACM SIGPLAN Notices, 2018 - dl.acm.org
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 …

Open-WBO: A Modular MaxSAT Solver,

R Martins, V Manquinho, I Lynce - … of Satisfiability Testing–SAT 2014: 17th …, 2014 - Springer
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 …

An overview of parallel SAT solving

R Martins, V Manquinho, I Lynce - Constraints, 2012 - Springer
Boolean satisfiability (SAT) solvers are currently very effective in practice. However, there
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

C Henard, M Papadakis, M Harman… - 2015 IEEE/ACM 37th …, 2015 - ieeexplore.ieee.org
Software Product Line (SPL) feature selection involves the optimization of multiple
objectives in a large and highly constrained search space. We introduce SATIBEA, that …