Iterative and core-guided MaxSAT solving: A survey and assessment
Morgado, Antonio, Heras, Federico, Liffiton, Mark, Planes, Jordi, Marques-Silva, Joao
Published in Constraints : an international journal (01.10.2013)
Published in Constraints : an international journal (01.10.2013)
Get full text
Journal Article
Weighted argumentation for analysis of discussions in Twitter
Alsinet, Teresa, Argelich, Josep, Béjar, Ramón, Fernández, Cèsar, Mateu, Carles, Planes, Jordi
Published in International journal of approximate reasoning (01.06.2017)
Published in International journal of approximate reasoning (01.06.2017)
Get full text
Journal Article
Fusing feature engineering and deep learning: A case study for malware classification
Gibert, Daniel, Planes, Jordi, Mateu, Carles, Le, Quan
Published in Expert systems with applications (30.11.2022)
Published in Expert systems with applications (30.11.2022)
Get full text
Journal Article
Enhancing the insertion of NOP instructions to obfuscate malware via deep reinforcement learning
Gibert, Daniel, Fredrikson, Matt, Mateu, Carles, Planes, Jordi, Le, Quan
Published in Computers & security (01.02.2022)
Published in Computers & security (01.02.2022)
Get full text
Journal Article
Auditing static machine learning anti-Malware tools against metamorphic attacks
Gibert, Daniel, Mateu, Carles, Planes, Jordi, Marques-Silva, Joao
Published in Computers & security (01.03.2021)
Published in Computers & security (01.03.2021)
Get full text
Journal Article
Feature Necessity & Relevancy in ML Classifier Explanations
Huang, Xuanxiang, Cooper, Martin, Morgado, Antonio, Planes, Jordi, Marques-Silva, Joao
Published in Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I (22.04.2023)
Published in Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I (22.04.2023)
Get full text
Conference Proceeding
Algorithms for Maximum Satisfiability using Unsatisfiable Cores
Marques-Silva, Joao, Planes, Jordi
Published in 2008 Design, Automation and Test in Europe (01.03.2008)
Published in 2008 Design, Automation and Test in Europe (01.03.2008)
Get full text
Conference Proceeding
Maximal falsifiability
Ignatiev, Alexey, Morgado, Antonio, Planes, Jordi, Marques-Silva, Joao
Published in Ai communications (01.01.2016)
Published in Ai communications (01.01.2016)
Get full text
Journal Article
New Inference Rules for Max-SAT
Li, C. M., Manya, F., Planes, J.
Published in The Journal of artificial intelligence research (01.01.2007)
Published in The Journal of artificial intelligence research (01.01.2007)
Get full text
Journal Article
Maximal falsifiability: Definitions, algorithms and applications
Ignatiev, Alexey, Morgado, Antonio, Planes, Jordi, Marques-Silva, Joao
Published in Ai communications (02.03.2016)
Published in Ai communications (02.03.2016)
Get full text
Journal Article
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes
Argelich, Josep, Béjar, Ramón, Fernández, Cèsar, Mateu, Carles, Planes, Jordi
Published in Annals of mathematics and artificial intelligence (01.06.2016)
Published in Annals of mathematics and artificial intelligence (01.06.2016)
Get full text
Journal Article
Resolution-based lower bounds in MaxSAT
Li, Chu Min, Manyà, Felip, Mohamedou, Nouredine Ould, Planes, Jordi
Published in Constraints : an international journal (01.10.2010)
Published in Constraints : an international journal (01.10.2010)
Get full text
Journal Article
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
Get full text
Book Chapter
Conference Proceeding