Felip Manyà

Artificial Intelligence Research Institute , CSIC , Bellaterra , Spain

8 papers in the IJCAI proceedings

IJCAI 2023

A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers

with Shuolin Li, Chu-Min Li, Mao Luo, Jordi Coll, Djamal Habet

doi:10.24963/ijcai.2023/220

Details PDF

IJCAI 2022

BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit

with Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li

doi:10.24963/ijcai.2022/264

Details PDF

Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract)

with Chu-Min Li, Zhenxing Xu, Jordi Coll, Djamal Habet, Kun He

doi:10.24963/ijcai.2022/739

Details PDF

IJCAI 2017

An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers

with Mao Luo, Chu-Min Li, Fan Xiao, Zhipeng Lü

doi:10.24963/ijcai.2017/98

Details PDF

IJCAI 2016

A Clause Tableau Calculus for MaxSAT

with Chu Min Li, Joan Ramon Soler

Details PDF

IJCAI 2015

An Exact Inference Scheme for MinSAT

with Chu Min Li

Details PDF

IJCAI 2011

Minimum Satisfiability and Its Applications

with Chu Min Li, Zhu Zhu, Laurent Simon

doi:10.5591/978-1-57735-516-8/IJCAI11-108

Details PDF

IJCAI 2007

The Logic Behind Weighted CSP

with Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings