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 31 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 21 4 0 22 Apr 2022
Recovering AES Keys with a Deep Cold Boot Attack Itamar Zimerman Eliya Nachmani Lior Wolf 43 4 0 09 Jun 2021
Incomplete MaxSAT Approaches for Combinatorial Testing Carlos Ansótegui F. Manyà J. Ojeda Josep M. Salvia Eduard Torres 18 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 21 0 0 10 Oct 2019
Solving MaxSAT by Successive Calls to a SAT Solver M. E. Halaby LRM ReLM ReCod 32 3 0 11 Mar 2016
Unsatisfiable Cores and Lower Bounding for Constraint Programming N. Downing Thibaut Feydy Peter Stuckey 20 0 0 25 Aug 2015
Generalized Totalizer Encoding for Pseudo-Boolean Constraints Saurabh Joshi Ruben Martins Vasco M. Manquinho AI4CE 43 53 0 21 Jul 2015
Incremental Cardinality Constraints for MaxSAT Ruben Martins Saurabh Joshi Vasco M. Manquinho I. Lynce LRM 38 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 45 1 0 08 May 2013
On When and How to use SAT to Mine Frequent Itemsets Rui Henriques I. Lynce Vasco M. Manquinho 49 12 0 26 Jul 2012
On Validating Boolean Optimizers António Morgado Sasha Rubin 52 7 0 13 Sep 2011
Evolved preambles for MAX-SAT heuristics Luis Otavio Rigo Junior V. Barbosa LRM 63 0 0 18 Feb 2011