ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 0903.0843
  4. Cited By
Algorithms for Weighted Boolean Optimization
v1v2 (latest)

Algorithms for Weighted Boolean Optimization

4 March 2009
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
34
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
24
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
45
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
21
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
24
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
35
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
23
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
43
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
38
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
50
1
0
08 Oct 2013
Unsatisfiable Cores for Constraint Programming
Unsatisfiable Cores for Constraint Programming
N. Downing
Thibaut Feydy
Peter Stuckey
48
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
49
12
0
26 Jul 2012
On Validating Boolean Optimizers
On Validating Boolean Optimizers
António Morgado
Sasha Rubin
55
7
0
13 Sep 2011
Evolved preambles for MAX-SAT heuristics
Evolved preambles for MAX-SAT heuristics
Luis Otavio Rigo Junior
V. Barbosa
LRM
66
0
0
18 Feb 2011
1