Now showing items 1-18 of 18

    • A Max-SAT Solver with Lazy Data Structures 

      Alsinet, Teresa; Manyà Serres, Felip; Planes Cid, Jordi (Springer Verlag, 2004)
      We present a new branch and bound algorithm for Max-SAT which incorporates original lazy data structures, a new variable selection heuristics and a lower bound of better quality. We provide experimental evidence that ...
    • An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships 

      Alsinet, Teresa; Argelich Romà, Josep; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles; Planes Cid, Jordi (Elsevier, 2017-07-08)
      Twitter is one of the most widely used social networks when it comes to sharing and criticizing relevant news and events. In order to understand the major opinions accepted and rejected in different domains by Twitter ...
    • An efficient solver for weighted Max-SAT 

      Alsinet, Teresa; Manyà Serres, Felip; Planes Cid, Jordi (Springer, 2008)
      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 evidence ...
    • Analyzing the instances of the MaxSAT evaluation 

      Argelich Romà, Josep; Li, Chu-Min; Manyà Serres, Felip; Planes Cid, Jordi (Springer Verlag, 2011)
      The MaxSAT Evaluation [1] is an affiliated event of the SAT Conference that is held every year since 2006, and is devoted to empirically evaluate exact MaxSAT algorithms solving any of the following problems: MaxSAT, ...
    • Auditing static machine learning anti-Malware tools against metamorphic attacks 

      Gibert Llauradó, Daniel; Mateu Piñol, Carles; Planes Cid, Jordi; Marques-Silva, Joao (Elsevier, 2021)
      Malicious software is one of the most serious cyber threats on the Internet today. Traditional malware detection has proven unable to keep pace with the sheer number of malware because of their growing complexity, new ...
    • Blacklist muti-objective genetic algorithm for energy saving in heterogeneous environments 

      Gabaldon Ponsa, Eloi; Lérida Monsó, Josep Lluís; Guirado Fernández, Fernando; Planes Cid, Jordi (Springer, 2017)
      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 predictions and thus ...
    • Enhancing the insertion of NOP instructions to obfuscate malware via deep reinforcement learning 

      Gibert Llauradó, Daniel; Fredrikson, Matt; Mateu Piñol, Carles; Planes Cid, Jordi (Elsevier, 2022)
      Current state-of-the-art research for tackling the problem of malware detection and classification is centered on the design, implementation and deployment of systems powered by machine learning because of its ability to ...
    • Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers 

      Li, Chu-Min; Manyà Serres, Felip; Planes Cid, Jordi (Springer Verlag, 2005)
      One of the main differences between complete SAT solvers and exact Max-SAT solvers is that the former make an intensive use of unit propagation at each node of the proof tree while the latter, in order to ensure optimality, ...
    • Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT 

      Planes Cid, Jordi (Springer Verlag, 2003)
      We developed novel branch and bound algorithms for solving Max-SAT and weighted Max-SAT, which are variants of the algorithm of Borchers & Furman (BFA) [1]. We improved BFA by (i) defining a lower bound of better quality, ...
    • Improved Exact Solvers for Weighted Max-SAT 

      Alsinet, Teresa; Manyà Serres, Felip; Planes Cid, Jordi (Springer Verlag, 2005)
      We present two new branch and bound weighted Max-SAT solvers (Lazy and Lazy ) which incorporate original data structures and inference rules, and a lower bound of better quality
    • Iterative and core-guided MaxSAT solving: A survey and assessment 

      Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes Cid, Jordi; Marques-Silva, Joao (Springer Verlag, 2013)
      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 theoretical and a practical point of ...
    • Multi-criteria genetic algorithm applied to scheduling in multi-cluster environments 

      Gabaldon Ponsa, Eloi; Guirado Fernández, Fernando; Planes Cid, Jordi (Springer, 2015)
      Scheduling and resource allocation to optimize performance criteria in multi-cluster heterogeneous environments is known as an NP-hard problem, not only for the resource heterogeneity, but also for the possibility of ...
    • New Inference Rules for Max-SAT 

      Li, Chu-Min; Manyà Serres, Felip; Planes Cid, Jordi (Association for the Advancement of Artificial Intelligence, 2007)
      Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simplified formula that preserves satisfiability ...
    • On the Performance of MaxSAT and MinSAT Solvers on 2SAT-MaxOnes 

      Argelich Romà, Josep; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles; Planes Cid, Jordi (Springer International Publishing Switzerland, 2016-06-01)
      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 indicate that ...
    • The first and second Max-SAT evaluations 

      Argelich Romà, Josep; Li, Chu-Min; Manyà Serres, Felip; Planes Cid, Jordi (IOS Press, 2008)
      We describe the organization and report on the results of the First and Second Max-SAT Evaluations, which were organized as affiliated events of the 2006 and 2007 editions of the International Conference on Theory and ...
    • The rise of machine learning for detection and classification of malware: Research developments, trends and challenge 

      Gibert Llauradó, Daniel; Mateu Piñol, Carles; Planes Cid, Jordi (Elsevier, 2020)
      The struggle between security analysts and malware developers is a never-ending battle with the complexity of malware changing as quickly as innovation grows. Current state-of-the-art research focus on the development and ...
    • Using convolutional neural networks for classification of malware represented as images 

      Gibert Llauradó, Daniel; Mateu Piñol, Carles; Planes Cid, Jordi; Vicens, Ramon (Springer, 2019)
      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 mutation. This ...
    • Weighted argumentation for analysis of discussions in twitter 

      Alsinet, Teresa; Argelich Romà, Josep; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles; Planes Cid, Jordi (Elsevier, 2017-03-01)
      Twitter has become a widely used social network to discuss ideas about many domains. This leads to a growing interest in understanding what are the major accepted or rejected opinions in different domains by social network ...