Author/Creator: Manyà, Felip - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Manyà, Felip

1. A resolution calculus for MinSAT. (23rd October 2019)

Authors:: Li, Chu-Min; Xiao, Fan; Manyà, Felip
Journal:: Logic journal of the IGPL
Issue:: Volume 29:Number 1(2021)
Page Start:: 28
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Approximate dynamic programming for automated vacuum waste collection systems. (May 2015)

Authors:: Fernández, Cèsar; Manyà, Felip; Mateu, Carles; Sole-Mauri, Francina
Journal:: Environmental modelling & software
Issue:: Volume 67(2015:May)
Page Start:: 128
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Clause tableaux for maximum and minimum satisfiability. (27th August 2019)

Authors:: Argelich, Josep; Li, Chu Min; Manyà, Felip; Soler, Joan Ramon
Journal:: Logic journal of the IGPL
Issue:: Volume 29:Number 1(2021)
Page Start:: 7
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. On minimization of the number of branches in branch-and-bound algorithms for the maximum clique problem. (August 2017)

Authors:: Li, Chu-Min; Jiang, Hua; Manyà, Felip
Journal:: Computers & operations research
Issue:: Volume 84(2017)
Page Start:: 1
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Solving longest common subsequence problems via a transformation to the maximum clique problem. (January 2021)

Authors:: Blum, Christian; Djukanovic, Marko; Santini, Alberto; Jiang, Hua; Li, Chu-Min; Manyà, Felip; Raidl, Günter R.
Journal:: Computers & operations research
Issue:: Volume 125(2021)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗