Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
0903.0843
Cited By
v1
v2 (latest)
Algorithms for Weighted Boolean Optimization
4 March 2009
Vasco M. Manquinho
Sasha Rubin
Jordi Planes
Re-assign community
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
1