logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
F

Felip Manyà

consejo superior de investigaciones científicas

26H指数
162论文数
2.3K被引数
收录论文 14
发表时间
logo
DeepTrust: Multi-step classification through dissimilar adversarial representations for robust android malware detectionDeepTrust：通过非相似对抗性表示进行多步分类，以实现鲁棒安卓恶意软件检测
errExpert Systems with Applications
IF7.5
err2026-09-29
err0
PREAI
errPulido-Cortazar, Daniel; Gibert, Daniel; Manya, Felip
err分享
err收藏
Solving weighted Maximum Satisfiability with Branch and Bound and clause learning用分支定界和子句学习求解加权最大可满足性问题
errComputers & Operations Research
IF4.3
err2025-07-11
err0
errOAAI
errJordi Coll; Chu-Min Li; Shuolin Li; Djamal Habet; Felip Manyà
err分享
err收藏
Integrating multi-armed bandit with local search for MaxSAT
errartificial intelligence review
IF4.6
err2025-01-01
err0
PREAI
errZheng, Jiongzhi; He, Kun; Zhou, Jianrong; Jin, Yan; Li, Chu-Min; Manya, Felip
err分享
err收藏
MaxSAT resolution for regular propositional logic正则命题逻辑的MaxSAT解析
errINTERNATIONAL JOURNAL OF APPROXIMATE REASONING
IF3
err2023-11-01
err3
errOAAI
errColl, Jordi; Li, Chu-Min; Manya, Felip; Yangin, Elifnaz
err分享
err收藏
Solving longest common subsequence problems via a transformation to the maximum clique problem
errCOMPUTERS & OPERATIONS RESEARCH
IF4.3
err2021-01-01
err12
PREAI
errBlum, Christian; Djukanovic, Marko; Santini, Alberto; Jiang, Hua; Li, Chu-Min; Manya, Felip; Raidl, Guenter R.
err分享
err收藏
Clause vivification by unit propagation in CDCL SAT solvers
errartificial intelligence review
IF4.6
err2020-02-01
err17
errOAAI
errLi, Chu-Min; Xiao, Fan; Luo, Mao; Manya, Felip; Lu, Zhipeng; Li, Yu
err分享
err收藏
A branching heuristic for SAT solvers based on complete implication graphs
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2019-04-17
err9
PREAI
errXiao, Fan; Li, Chu-Min; Luo, Mao; Manya, Felip; Lu, Zhipeng; Li, Yu
err分享
err收藏
A new upper bound for the maximum weight clique problem最大权重团问题的一个新上界
errEUROPEAN JOURNAL OF OPERATIONAL RESEARCH
IF6
err2018-10-01
err17
PREAI
errLi, Chu-Min; Liu, Yanli; Jiang, Hua; Manya, Felip; Li, Yu
err分享
err收藏
New complexity results for Lukasiewicz logic
errSOFT COMPUTING
IF2.5
err2018-07-11
err13
errOAAI
errBofill, Miquel; Manya, Felip; Vidal, Amanda; Villaret, Mateu
err分享
err收藏
On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem关于最大团问题的分支定界算法中分支数的最小化
errCOMPUTERS & OPERATIONS RESEARCH
IF4.3
err2017-08-01
err50
PREAI
errLi, Chu-Min; Jiang, Hua; Manya, Felip
err分享
err收藏
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers具有可满足性模理论求解器的多值逻辑的自动定理证明器
errFUZZY SETS AND SYSTEMS
IF2.7
err2016-06-01
err7
PREAI
errAnsotegui, Carlos; Bofill, Miguel; Manya, Felip; Villaret, Mateu
err分享
err收藏
Optimizing with minimum satisfiability
errartificial intelligence review
IF4.6
err2012-10-01
err50
errOAAI
errLi, Chu Min; Zhu, Zhu; Manya, Felip; Simon, Laurent
err分享
err收藏
Resolution for Max-SATMax-sat的分辨率
errartificial intelligence review
IF4.6
err2007-06-01
err91
errOAAI
errBonet, Maria Luisa; Levy, Jordi; Manya, Felip
err分享
err收藏
Automated monitoring of medical protocols:: a secure and distributed architecture
errARTIFICIAL INTELLIGENCE IN MEDICINE
IF6.2
err2003-03-01
err17
PREAI
errAlsinet, T; Ansótegui, C; Béjar, R; Fernández, C; Manyà, F
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Y
Yu Li
H 指数: 43 · 论文数: 624
C
Christian Blum
H 指数: 42 · 论文数: 437
何
何琨 (Kun He)
H 指数: 34 · 论文数: 263
C
Cèsar Fernández
H 指数: 29 · 论文数: 101
M
Marı́a Luisa Bonet
H 指数: 26 · 论文数: 85
查看更多