![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Open AccessArgumentation Reasoning with Graph Isomorphism Networks for Reddit Conversation Analysis
The automated analysis of different trends in online debating forums is an interesting tool for sampling the agreement between citizens in different topics. In previous work, we have defined computational mode...
-
Article
Using convolutional neural networks for classification of malware represented as images
The number of malicious files detected every year are counted by millions. One of the main reasons for these high volumes of different files is the fact that, in order to evade detection, malware authors add m...
-
Article
Open AccessBlacklist muti-objective genetic algorithm for energy saving in heterogeneous environments
Reducing energy consumption in large-scale computing facilities has become a major concern in recent years. Most of the techniques have focused on determining the computing requirements based on load predictio...
-
Article
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes
We analyze and compare two solvers for Boolean optimization problems: WMaxSatz, a solver for Partial MaxSAT, and MinSatz, a solver for Partial MinSAT. Both MaxSAT and MinSAT are similar, but previous results i...
-
Article
Iterative and core-guided MaxSAT solving: A survey and assessment
Maximum Satisfiability (MaxSAT) is an optimization version of SAT, and many real world applications can be naturally encoded as such. Solving MaxSAT is an important problem from both a theoretica...
-
Article
Resolution-based lower bounds in MaxSAT
The lower bound (LB) implemented in branch and bound MaxSAT solvers is decisive for obtaining a competitive solver. In modern solvers like MaxSatz and MiniMaxSat, the LB relies on the cooperation of the undere...
-
Article
An efficient solver for weighted Max-SAT
We present a new branch and bound algorithm for weighted Max-SAT, called Lazy which incorporates original data structures and inference rules, as well as a lower bound of better quality. We provide experimental e...