Algorithms for Weighted Boolean Optimization

v1v2 (latest)

Algorithms for Weighted Boolean Optimization

4 March 2009

Vasco M. Manquinho

ArXiv (abs)PDF HTML

Papers citing "Algorithms for Weighted Boolean Optimization"

17 / 17 papers shown

Title
torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem Abdelrahman I. Hosny Sherief Reda 76 1 0 06 Feb 2024
UpMax: User partitioning for MaxSAT Pedro Orvalho Vasco M. Manquinho Ruben Martins 27 0 0 25 May 2023
New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization João Cortes I. Lynce Vasco M. Manquinho 17 4 0 22 Apr 2022
Recovering AES Keys with a Deep Cold Boot Attack Itamar Zimerman Eliya Nachmani Lior Wolf 41 4 0 09 Jun 2021
Incomplete MaxSAT Approaches for Combinatorial Testing Carlos Ansótegui F. Manyà J. Ojeda Josep M. Salvia Eduard Torres 14 22 0 26 May 2021
Logic Tensor Networks Samy Badreddine Artur Garcez Luciano Serafini Michael Spranger NAI 178 212 0 25 Dec 2020
Joint Reasoning for Multi-Faceted Commonsense Knowledge Yohan Chalier Simon Razniewski Gerhard Weikum LRM 134 25 0 13 Jan 2020
Reflections on "Incremental Cardinality Constraints for MaxSAT" Ruben Martins Saurabh Joshi Vasco M. Manquinho I. Lynce 17 0 0 10 Oct 2019
Solving MaxSAT by Successive Calls to a SAT Solver M. E. Halaby LRM ReLM ReCod 28 3 0 11 Mar 2016
Unsatisfiable Cores and Lower Bounding for Constraint Programming N. Downing Thibaut Feydy Peter Stuckey 16 0 0 25 Aug 2015
Generalized Totalizer Encoding for Pseudo-Boolean Constraints Saurabh Joshi Ruben Martins Vasco M. Manquinho AI4CE 39 53 0 21 Jul 2015
Incremental Cardinality Constraints for MaxSAT Ruben Martins Saurabh Joshi Vasco M. Manquinho I. Lynce LRM 33 104 0 20 Aug 2014
SAT-based Preprocessing for MaxSAT (extended version) A. Belov António Morgado Sasha Rubin 48 1 0 08 Oct 2013
Unsatisfiable Cores for Constraint Programming N. Downing Thibaut Feydy Peter Stuckey 41 1 0 08 May 2013
On When and How to use SAT to Mine Frequent Itemsets Rui Henriques I. Lynce Vasco M. Manquinho 47 12 0 26 Jul 2012
On Validating Boolean Optimizers António Morgado Sasha Rubin 48 7 0 13 Sep 2011
Evolved preambles for MAX-SAT heuristics Luis Otavio Rigo Junior V. Barbosa LRM 59 0 0 18 Feb 2011