×

zbMATH — the first resource for mathematics

Manyà, Felip

Compute Distance To:
Author ID: manya.felip Recent zbMATH articles by "Manyà, Felip"
Published as: Manya, F.; Manya, Felip; Manyà, F.; Manyà, Felip
Documents Indexed: 40 Publications since 1999

Publications by Year

Citations contained in zbMATH

30 Publications have been cited 159 times in 89 Documents Cited by Year
New inference rules for Max-SAT. Zbl 1182.68254
Li, C. M.; Manya, F.; Planes, J.
22
2007
Exploiting cycle structures in Max-SAT. Zbl 1247.68256
Li, Chu Min; Manyà, Felip; Mohamedou, Nouredine; Planes, Jordi
14
2009
The first and second Max-SAT evaluations. Zbl 1159.68561
Argelich, Josep; Li, Chu-Min; Manyà, Felip; Planes, Jordi
13
2008
Exploiting unit propagation to compute lower bounds in branch and bound max-SAT solvers. Zbl 1153.68470
Li, Chu Min; Manyà, Felip; Planes, Jordi
12
2005
Resolution for Max-SAT. Zbl 1168.68541
Bonet, María Luisa; Levy, Jordi; Manyà, Felip
11
2007
Optimizing with minimum satisfiability. Zbl 1251.68209
Li, Chu Min; Zhu, Zhu; Manyà, Felip; Simon, Laurent
8
2012
The SAT problem of signed CNF formulas. Zbl 0966.03033
Beckert, Bernhard; Hähnle, Reiner; Manyà, Felip
7
2000
On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem. Zbl 1391.90607
Li, Chu-Min; Jiang, Hua; Manyà, Felip
6
2017
Resolution-based lower bounds in MaxSAT. Zbl 1208.68204
Li, Chu Min; Manyà, Felip; Mohamedou, Nouredine Ould; Planes, Jordi
6
2010
Mapping problems with finite-domain variables to problems with Boolean variables. Zbl 1122.68582
Ansótegui, Carlos; Manyà, Felip
6
2005
Improved exact solvers for weighted Max-SAT. Zbl 1124.68429
Alsinet, Teresa; Manyà, Felip; Planes, Jordi
6
2005
Exact algorithms for MAX-SAT. Zbl 1261.68073
Zhang, Hantao; Shen, Haiou; Manyà, Felip
5
2003
The 2-SAT problem in signed CNF-formulas. Zbl 0992.03014
Manyà, Felip
5
2000
An efficient solver for weighted Max-SAT. Zbl 1146.90480
Alsinet, Teresa; Manyà, Felip; Planes, Jordi
4
2008
Modelling Max-CSP as partial Max-SAT. Zbl 1138.68531
Argelich, Josep; Cabiscol, Alba; Lynce, Inês; Manyà, Felip
4
2008
A complete calculus for Max-SAT. Zbl 1124.68104
Bonet, María Luisa; Levy, Jordi; Manyà, Felip
4
2006
Solving combinatorial problems with regular local search algorithms. Zbl 0944.68166
Béjar, Ramón; Manyà, Felip
4
1999
Comparison of systematic and locals search algorithms for regular CNF formulas. Zbl 0935.68094
Béjar, Ramón; Manyà, Felip
3
1999
A new upper bound for the maximum weight clique problem. Zbl 1403.90640
Li, Chu-Min; Liu, Yanli; Jiang, Hua; Manyà, Felip; Li, Yu
2
2018
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers. Zbl 1387.03007
Ansótegui, Carlos; Bofill, Miquel; Manyà, Felip; Villaret, Mateu
2
2016
The complexity of 3-valued Łukasiewicz rules. Zbl 1366.68086
Bofill, Miquel; Manyà, Felip; Vidal, Amanda; Villaret, Mateu
2
2015
Exact MinSAT solving. Zbl 1306.68164
Li, Chu Min; Manyà, Felip; Quan, Zhe; Zhu, Zhu
2
2010
Regular-SAT: A many-valued approach to solving combinatorial problems. Zbl 1121.68104
Béjar, Ramón; Manyà, Felip; Cabiscol, Alba; Fernàndez, Cèsar; Gomes, Carla
2
2007
Exact Max-SAT solvers for over-constrained problems. Zbl 1100.68107
Argelich, Josep; Manyà, Felip
2
2006
Capturing structure with satisfiability. Zbl 1067.68535
Béjar, Ramón; Cabiscol, Alba; Fernàndez, Cèsar; Manyà, Felip; Gomes, Carla
2
2001
SAT and SMT technology for many-valued logics. Zbl 1394.03038
Ansótegui, Carlos; Bofill, Miquel; Manyà, Felip; Villaret, Mateu
1
2015
Mapping CSP into many-valued SAT. Zbl 1214.68339
Ansótegui, Carlos; Bonet, María Luisa; Levy, Jordi; Manyà, Felip
1
2007
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. Zbl 1124.68102
Ansótegui, Carlos; Larrubia, Jose; Li, Chu-Min; Manyà, Felip
1
2007
Solving over-constrained problems with SAT technology. Zbl 1124.68430
Argelich, Josep; Manyà, Felip
1
2005
Minimal and redundant SAT encodings for the all-interval-series problem. Zbl 1028.68627
Alsinet, T.; Béjar, R.; Cabiscol, A.; Fernàndez, C.; Manyà, F.
1
2002
A new upper bound for the maximum weight clique problem. Zbl 1403.90640
Li, Chu-Min; Liu, Yanli; Jiang, Hua; Manyà, Felip; Li, Yu
2
2018
On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem. Zbl 1391.90607
Li, Chu-Min; Jiang, Hua; Manyà, Felip
6
2017
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers. Zbl 1387.03007
Ansótegui, Carlos; Bofill, Miquel; Manyà, Felip; Villaret, Mateu
2
2016
The complexity of 3-valued Łukasiewicz rules. Zbl 1366.68086
Bofill, Miquel; Manyà, Felip; Vidal, Amanda; Villaret, Mateu
2
2015
SAT and SMT technology for many-valued logics. Zbl 1394.03038
Ansótegui, Carlos; Bofill, Miquel; Manyà, Felip; Villaret, Mateu
1
2015
Optimizing with minimum satisfiability. Zbl 1251.68209
Li, Chu Min; Zhu, Zhu; Manyà, Felip; Simon, Laurent
8
2012
Resolution-based lower bounds in MaxSAT. Zbl 1208.68204
Li, Chu Min; Manyà, Felip; Mohamedou, Nouredine Ould; Planes, Jordi
6
2010
Exact MinSAT solving. Zbl 1306.68164
Li, Chu Min; Manyà, Felip; Quan, Zhe; Zhu, Zhu
2
2010
Exploiting cycle structures in Max-SAT. Zbl 1247.68256
Li, Chu Min; Manyà, Felip; Mohamedou, Nouredine; Planes, Jordi
14
2009
The first and second Max-SAT evaluations. Zbl 1159.68561
Argelich, Josep; Li, Chu-Min; Manyà, Felip; Planes, Jordi
13
2008
An efficient solver for weighted Max-SAT. Zbl 1146.90480
Alsinet, Teresa; Manyà, Felip; Planes, Jordi
4
2008
Modelling Max-CSP as partial Max-SAT. Zbl 1138.68531
Argelich, Josep; Cabiscol, Alba; Lynce, Inês; Manyà, Felip
4
2008
New inference rules for Max-SAT. Zbl 1182.68254
Li, C. M.; Manya, F.; Planes, J.
22
2007
Resolution for Max-SAT. Zbl 1168.68541
Bonet, María Luisa; Levy, Jordi; Manyà, Felip
11
2007
Regular-SAT: A many-valued approach to solving combinatorial problems. Zbl 1121.68104
Béjar, Ramón; Manyà, Felip; Cabiscol, Alba; Fernàndez, Cèsar; Gomes, Carla
2
2007
Mapping CSP into many-valued SAT. Zbl 1214.68339
Ansótegui, Carlos; Bonet, María Luisa; Levy, Jordi; Manyà, Felip
1
2007
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers. Zbl 1124.68102
Ansótegui, Carlos; Larrubia, Jose; Li, Chu-Min; Manyà, Felip
1
2007
A complete calculus for Max-SAT. Zbl 1124.68104
Bonet, María Luisa; Levy, Jordi; Manyà, Felip
4
2006
Exact Max-SAT solvers for over-constrained problems. Zbl 1100.68107
Argelich, Josep; Manyà, Felip
2
2006
Exploiting unit propagation to compute lower bounds in branch and bound max-SAT solvers. Zbl 1153.68470
Li, Chu Min; Manyà, Felip; Planes, Jordi
12
2005
Mapping problems with finite-domain variables to problems with Boolean variables. Zbl 1122.68582
Ansótegui, Carlos; Manyà, Felip
6
2005
Improved exact solvers for weighted Max-SAT. Zbl 1124.68429
Alsinet, Teresa; Manyà, Felip; Planes, Jordi
6
2005
Solving over-constrained problems with SAT technology. Zbl 1124.68430
Argelich, Josep; Manyà, Felip
1
2005
Exact algorithms for MAX-SAT. Zbl 1261.68073
Zhang, Hantao; Shen, Haiou; Manyà, Felip
5
2003
Minimal and redundant SAT encodings for the all-interval-series problem. Zbl 1028.68627
Alsinet, T.; Béjar, R.; Cabiscol, A.; Fernàndez, C.; Manyà, F.
1
2002
Capturing structure with satisfiability. Zbl 1067.68535
Béjar, Ramón; Cabiscol, Alba; Fernàndez, Cèsar; Manyà, Felip; Gomes, Carla
2
2001
The SAT problem of signed CNF formulas. Zbl 0966.03033
Beckert, Bernhard; Hähnle, Reiner; Manyà, Felip
7
2000
The 2-SAT problem in signed CNF-formulas. Zbl 0992.03014
Manyà, Felip
5
2000
Solving combinatorial problems with regular local search algorithms. Zbl 0944.68166
Béjar, Ramón; Manyà, Felip
4
1999
Comparison of systematic and locals search algorithms for regular CNF formulas. Zbl 0935.68094
Béjar, Ramón; Manyà, Felip
3
1999
all top 5

Cited by 204 Authors

13 Manyà, Felip
6 Ansótegui, Carlos
6 Li, Chu Min
6 Planes, Jordi
5 Marques-Silva, João P.
4 Argelich, Josep
4 de Givry, Simon
3 Bofill, Miquel
3 Cai, Shaowei
3 Furini, Fabio
3 Gabàs, Joel
3 Heras, Federico
3 Levy, Jordi
3 San Segundo, Pablo
3 Schiex, Thomas
3 Shen, Haiou
3 Su, Kaile
3 Villaret, Mateu
3 Zhang, Hantao
2 Allouche, David
2 Arieli, Ofer
2 Béjar, Ramón
2 Bonet, Maria Luisa
2 Cabiscol, Alba
2 Chen, Jian-er
2 Fernández, César C.
2 Guller, Dušan
2 He, Kun
2 Jiang, Hua
2 Katsirelos, George
2 Kullmann, Oliver
2 Li, Chumin
2 Liffiton, Mark H.
2 Liu, Yanli
2 Ljubić, Ivana
2 Luo, Chuan
2 Lynce, Inês
2 Mencía, Carlos
2 Mohamedou, Nouredine Ould
2 O’Sullivan, Barry
2 Vidal, Amanda
2 Wang, Jianxin
2 Xu, Chao
2 Zamansky, Anna
2 Zhuo, Hankz Hankui
2 Zytnicki, Matthias
1 Al-Saedi, Balasim
1 Al-Yahya, Tasniem Nasser
1 Alsinet, Teresa
1 André, Isabelle
1 Artieda, Jorge
1 Asín Achá, Roberto
1 Ballerstein, Kathrin
1 Baneres, David
1 Barbe, Sophie
1 Berg, Jeremias
1 Binkele-Raible, Daniel
1 Bou, Félix
1 Busquets, Dídac
1 Candeago, Lorenzo
1 Cerami, Marco
1 Chaouiya, Claudine
1 Chen, Jiejiang
1 Chepoi, Victor D.
1 Codish, Michael
1 Cong, Ligang
1 Coniglio, Stefano
1 Cooper, Martin C.
1 Creignou, Nadia
1 Dai, Wenkai
1 Davies, Jessica
1 De Bona, Glauber
1 Di Rosa, Emanuele
1 Di Ventra, Massimiliano
1 Di, Xiaoqiang
1 Didier, Gilles
1 Doggett, Anthony J.
1 El-bachir Menai, Mohamed
1 Falsafain, Hossein
1 Fan, Yi
1 Fang, Zhiwen
1 Fernau, Henning
1 Finger, Marcelo
1 Fourdrinoy, Olivier
1 Frisch, Alan M.
1 García-Cerdaña, Àngel
1 Garcia, Pere
1 Ghadiri, Nasser
1 Giunchiglia, Enrico
1 Godo, Lluís
1 Gomes, Carla P.
1 Graça, Ana
1 Grégoire, Éric
1 Hamiez, Jean-Philippe
1 Hao, Jin-Kao
1 Haraguchi, Kazuya
1 Hermann, Miki
1 Heule, Marijn J. H.
1 Huang, Ping
1 Huang, Wenxuan
...and 104 more Authors

Citations by Year