ResearchTrend.AI
Algorithms for Weighted Boolean Optimization
v1v2 (latest)

Algorithms for Weighted Boolean Optimization

Vasco M. Manquinho
Sasha Rubin
Jordi Planes
ArXiv (abs)PDFHTML

Papers citing "Algorithms for Weighted Boolean Optimization"

17 / 17 papers shown
Title
torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem
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
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
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
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
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
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
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"
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
Solving MaxSAT by Successive Calls to a SAT Solver
M. E. Halaby
LRMReLMReCod
28
3
0
11 Mar 2016
Unsatisfiable Cores and Lower Bounding for Constraint Programming
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
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
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)
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
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
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
On Validating Boolean Optimizers
António Morgado
Sasha Rubin
48
7
0
13 Sep 2011
Evolved preambles for MAX-SAT heuristics
Evolved preambles for MAX-SAT heuristics
Luis Otavio Rigo Junior
V. Barbosa
LRM
59
0
0
18 Feb 2011