ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1111.0040
  4. Cited By
New Inference Rules for Max-SAT

New Inference Rules for Max-SAT

Journal of Artificial Intelligence Research (JAIR), 2007
31 October 2011
Chu Min Li
F. Manyà
Jordi Planes
    FAttReLMLRM
ArXiv (abs)PDFHTML

Papers citing "New Inference Rules for Max-SAT"

13 / 13 papers shown
Incorporating Multi-armed Bandit with Local Search for MaxSAT
Incorporating Multi-armed Bandit with Local Search for MaxSAT
Jiongzhi Zheng
Kun He
Jianrong Zhou
Yan Jin
ChuMin Li
F. Manyà
132
1
0
29 Nov 2022
Branching Strategy Selection Approach Based on Vivification Ratio
Branching Strategy Selection Approach Based on Vivification Ratio
Mao Luo
Chu Min Li
Xinyun Wu
Shuolin Li
Zhipeng Lü
127
0
0
11 Dec 2021
The Horn Non-Clausal Class and its Polynomiality
The Horn Non-Clausal Class and its Polynomiality
G. E. Imaz
343
3
0
31 Aug 2021
Power of human-algorithm collaboration in solving combinatorial
  optimization problems
Power of human-algorithm collaboration in solving combinatorial optimization problems
Tapani Toivonen
199
1
0
25 Jul 2021
Learning Action Models from Disordered and Noisy Plan Traces
Learning Action Models from Disordered and Noisy Plan Traces
Hankui Zhuo
Jing Peng
S. Kambhampati
361
12
0
26 Aug 2019
An Iterative Path-Breaking Approach with Mutation and Restart Strategies
  for the MAX-SAT Problem
An Iterative Path-Breaking Approach with Mutation and Restart Strategies for the MAX-SAT Problem
Zhenxing Xu
Kun He
Chu Min Li
LRM
145
10
0
10 Aug 2018
A high-performance analog Max-SAT solver and its application to Ramsey
  numbers
A high-performance analog Max-SAT solver and its application to Ramsey numbers
B. Molnár
M. Varga
Z. Toroczkai
M. Ercsey-Ravasz
166
3
0
20 Jan 2018
Solving MaxSAT by Successive Calls to a SAT Solver
Solving MaxSAT by Successive Calls to a SAT Solver
M. E. Halaby
LRMReLMReCod
280
3
0
11 Mar 2016
Fuzzy Maximum Satisfiability
Fuzzy Maximum Satisfiability
M. E. Halaby
Areeg S. Abdalla
122
6
0
06 Feb 2016
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex CoverJournal of Artificial Intelligence Research (JAIR), 2014
Shaowei Cai
Kaile Su
Chuan Luo
A. Sattar
253
141
0
04 Feb 2014
Algorithms for Weighted Boolean Optimization
Algorithms for Weighted Boolean OptimizationInternational Conference on Theory and Applications of Satisfiability Testing (SAT), 2009
Vasco M. Manquinho
Sasha Rubin
Jordi Planes
500
179
0
04 Mar 2009
Combinatorial Explorations in Su-Doku
Combinatorial Explorations in Su-Doku
J. Chauvet
168
1
0
29 Mar 2008
On Using Unsatisfiability for Solving Maximum Satisfiability
On Using Unsatisfiability for Solving Maximum Satisfiability
Sasha Rubin
Jordi Planes
312
67
0
07 Dec 2007
1
Page 1 of 1