×

zbMATH — the first resource for mathematics

Martins, Ruben

Compute Distance To:
Author ID: martins.ruben Recent zbMATH articles by "Martins, Ruben"
Published as: Martins, R.; Martins, Ruben
Documents Indexed: 10 Publications since 1998

Publications by Year

Citations contained in zbMATH

9 Publications have been cited 40 times in 37 Documents Cited by Year
Open-WBO: a modular MaxSAT solver. Zbl 1423.68461
Martins, Ruben; Manquinho, Vasco; Lynce, Inês
15
2014
An overview of parallel SAT solving. Zbl 1309.90057
Martins, Ruben; Manquinho, Vasco; Lynce, Inês
9
2012
Community-based partitioning for MaxSAT solving. Zbl 1390.68603
Martins, Ruben; Manquinho, Vasco; Lynce, Inês
4
2013
Automatic generation of propagation complete SAT encodings. Zbl 06559875
Brain, Martin; Hadarean, Liana; Kroening, Daniel; Martins, Ruben
3
2016
Improving unsatisfiability-based algorithms for Boolean optimization. Zbl 1306.68166
Manquinho, Vasco; Martins, Ruben; Lynce, Inês
3
2010
Dilaton electromagnetic Bianchi-I cosmologies. Zbl 0941.83050
Salim, J. M.; Sautu, S. L.; Martins, R.
3
1998
Component-based synthesis for complex APIs. Zbl 1380.68108
Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W.
1
2017
Exploiting resolution-based representations for maxsat solving. Zbl 06512579
Neves, Miguel; Martins, Ruben; Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco
1
2015
Numerical and experimental characterization of the 2D vertical average-velocity plane at the center-profile and qualitative air entrainment inside a gully for drainage and reverse flow. Zbl 1391.76231
Leandro, J.; Lopes, P.; Carvalho, R.; Páscoa, P.; Martins, R.; Romagnoli, M.
1
2014
Component-based synthesis for complex APIs. Zbl 1380.68108
Feng, Yu; Martins, Ruben; Wang, Yuepeng; Dillig, Isil; Reps, Thomas W.
1
2017
Automatic generation of propagation complete SAT encodings. Zbl 06559875
Brain, Martin; Hadarean, Liana; Kroening, Daniel; Martins, Ruben
3
2016
Exploiting resolution-based representations for maxsat solving. Zbl 06512579
Neves, Miguel; Martins, Ruben; Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco
1
2015
Open-WBO: a modular MaxSAT solver. Zbl 1423.68461
Martins, Ruben; Manquinho, Vasco; Lynce, Inês
15
2014
Numerical and experimental characterization of the 2D vertical average-velocity plane at the center-profile and qualitative air entrainment inside a gully for drainage and reverse flow. Zbl 1391.76231
Leandro, J.; Lopes, P.; Carvalho, R.; Páscoa, P.; Martins, R.; Romagnoli, M.
1
2014
Community-based partitioning for MaxSAT solving. Zbl 1390.68603
Martins, Ruben; Manquinho, Vasco; Lynce, Inês
4
2013
An overview of parallel SAT solving. Zbl 1309.90057
Martins, Ruben; Manquinho, Vasco; Lynce, Inês
9
2012
Improving unsatisfiability-based algorithms for Boolean optimization. Zbl 1306.68166
Manquinho, Vasco; Martins, Ruben; Lynce, Inês
3
2010
Dilaton electromagnetic Bianchi-I cosmologies. Zbl 0941.83050
Salim, J. M.; Sautu, S. L.; Martins, R.
3
1998
all top 5

Cited by 110 Authors

3 Järvisalo, Matti
3 Levy, Jordi
2 Ansótegui, Carlos
2 Cai, Shaowei
2 Codognet, Philippe
2 Demirović, Emir
2 Giráldez-Cru, Jesús
2 Janhunen, Tomi
2 Lynce, Inês
2 Manquinho, Vasco M.
2 Marques-Silva, João P.
2 Martins, Ruben
2 Musliu, Nysret
2 Planes, Jordi
1 Abreu, Salvador
1 Arbelaez, Alejandro
1 Argelich, Josep
1 Balyo, Tomáš
1 Béjar, Ramón
1 Berg, Jeremias
1 Beyersdorff, Olaf
1 Caniou, Yves
1 Carvalho, Rita F.
1 Cérin, Christophe
1 Chakraborty, Narayan Chandra
1 Chakraborty, Subenoy
1 Chaubey, Raghavendra
1 Chew, Leroy
1 Corander, Jukka
1 Danks, David
1 Diaz, Daniel
1 Dimitrova, Rayna
1 D’silva, Vijay
1 Eberhardt, Frederick
1 Fernández, César C.
1 Gabàs, Joel
1 Gattermann, Philine
1 Gebser, Martin
1 Gent, Ian Philip
1 Ghasemi, Mahsa
1 Großmann, Peter
1 Harko, Tiberiu
1 Heinz, Stefan
1 Heras, Federico
1 Hyttinen, Antti
1 Hyvärinen, Antti E. J.
1 Inala, Jeevana Priya
1 Itzhaky, Shachar
1 Janota, Mikoláš
1 Koponen, Laura
1 Kučera, Petr
1 Lang, Jérôme
1 Leandro, Jorge
1 Lei, Zhendong
1 Liffiton, Mark H.
1 Lin, Jinkun
1 Lopes, Pedro
1 Luo, Chuan
1 Mahajan, Meena
1 Mak, Man Kwong
1 Marescotti, Matteo
1 Mateu, Carles
1 McCreesh, Ciaran
1 Mencía, Carlos
1 Mengin, Jérôme
1 Miguel, Ian
1 Moore, Neil C. A.
1 Morgado, António
1 Nachtigall, Karl
1 Neves, Miguel M.
1 Ngoko, Yanik
1 Nightingale, Peter W.
1 Niskanen, Andreas
1 Nyman, Henrik
1 Oikarinen, Emilia
1 Peleg, Hila
1 Pensar, Johan
1 Philipp, Tobias
1 Plis, Sergey
1 Previti, Alessandro
1 Prosser, Patrick
1 Richoux, Florian
1 Rintanen, Jussi
1 Säilä, Laura
1 Sanders, Peter
1 Savický, Petr
1 Schöbel, Anita
1 Sharygina, Natasha
1 Shinano, Yuji
1 Shoham, Sharon
1 Şhukla, Anil K.
1 Simon, Laurent S. R.
1 Singh, Rohit R.
1 Singh, Triloki
1 Sinz, Carsten
1 Solar-Lezama, Armando
1 Su, Kaile
1 Tabor, Gavin
1 Topcu, Ufuk
1 Truchet, Charlotte
...and 10 more Authors

Citations by Year