Concepedia

Felip Manyà

FM

49

Publications

1.5K

Citations

22

H-Index

1997

Active since

Affiliations

Artificial Intelligence Research Institute(Current)

Universitat de Lleida

Université de Picardie Jules Verne

Huazhong University of Science and Technology

Consejo Superior de Investigaciones Científicas

Felip Manyà is an author at Artificial Intelligence Research Institute specializing in engineering, computer science, and computational complexity.

Top concepts

EngineeringComputer ScienceSatisfiabilityAutomated ReasoningComputational ComplexityFormal MethodsCombinatorial OptimizationFormal VerificationDiscrete MathematicsMathematical Programming

Publications per year

1997–2022

49

Publications

49

New Inference Rules for Max-SAT

Che‐Ming Li, Felip Manyà, Jordi Planes · Journal of Artificial Intelligence Research · 2007 · 157 citations · Full text

Mathematical Programming, Inference Rules, Engineering +18

Resolution for Max-SAT

Marı́a Luisa Bonet, Jordi Levy, Felip Manyà · Artificial Intelligence · 2007 · 98 citations

Sat Solving, Computational Imaging, High Resolution +1

On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem

Chu-Min Li, Hua Jiang, Felip Manyà · Computers & Operations Research · 2017 · 78 citations

Mathematical Programming, Branch-and-bound Algorithm, Maximum Clique Problem +14

Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT

Chu-Min Li, Felip Manyà, Jordi Planes · 2006 · 67 citations

Mathematical Programming, Engineering, Max-sat Solvers +17

An Exact Algorithm for the Maximum Weight Clique Problem in Large Graphs

Hua Jiang, Chu-Min Li, Felip Manyà · Proceedings of the AAAI Conference on Artificial Intelligence · 2017 · 67 citations · Full text

Engineering, Large Graphs, Heuristic Mwc Algorithms +20

Rows per page

1–5 of 49