I agree that this site is using cookies. You can find further informations here.
X
Manyà, Felip
109  results:
Search for persons X
?
1

MaxSAT resolution for regular propositional logic:

Coll, Jordi ; Li, Chu-Min ; Manyà, Felip.
International Journal of Approximate Reasoning.  162 (2023)  - p. 109010 , 2023
Link: https://doi.org/10.1016/..
 
?
2

Benchmarking Łukasiewicz Logic Solvers with Properties of N..:

, In: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL),
Preto, Sandro ; Manya, Felip ; Finger, Marcelo - p. 158-163 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Linking Łukasiewicz Logic and Boolean Maximum Satisfiabilit:

, In: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL),
Preto, Sandro ; Manya, Felip ; Finger, Marcelo - p. 164-169 , 2023
Link: https://doi.org/10.1109/..
 
?
4

The MaxSAT Problem in the Real-Valued MV-Algebra:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Haniková, Zuzana ; Manyà, Felip ; Vidal, Amanda - p. 386-404 , 2023
Link: https://doi.org/10.1007/..
 
?
5

A Tableau Calculus for Signed Maximum Satisfiability:

, In: 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL),
Li, Shuolin ; Coll, Jordi ; Habet, Djamal.. - p. 170-175 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Negative Learning Ant Colony Optimization for MaxSAT:

Nurcahyadi, Teddy ; Blum, Christian ; Manyà, Felip
International Journal of Computational Intelligence Systems.  15 (2022)  1 - p. , 2022
Link: https://doi.org/10.1007/..
 
?
7

Inference in MaxSAT and MinSAT:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,
Li, Chu Min ; Manyà, Felip - p. 350-369 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Clausal Forms in MaxSAT and MinSAT:

Li, Chu Min ; Manyà, Felip ; Soler, Joan Ramon.
International Journal of Computational Intelligence Systems.  15 (2022)  1 - p. , 2022
Link: https://doi.org/10.1007/..
 
?
9

Incomplete MaxSAT approaches for combinatorial testing:

Ansótegui, Carlos ; Manyà, Felip ; Ojeda, Jesus..
Journal of Heuristics.  28 (2022)  4 - p. 377-431 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Theory and Applications of Satisfiability Testing – SAT 202.. 

Theoretical Computer Science and General Issues, 12831
Li, Chu-Min ; Manyà, Felip - 1st ed. 2021 . , 2021
Link: https://doi.org/10.1007/..
 
?
11

Solving longest common subsequence problems via a transform..:

Blum, Christian ; Djukanovic, Marko ; Santini, Alberto...
Computers & Operations Research.  125 (2021)  - p. 105089 , 2021
Link: https://doi.org/10.1016/..
 
?
12

Tableaux for Maximum Satisfiability in Łukasiewicz Logic:

, In: 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL),
Li, Chu Min ; Manya, Felip ; Vidal, Amanda - p. 243-248 , 2020
Link: https://doi.org/10.1109/..
 
?
13

Clause vivification by unit propagation in CDCL SAT solvers:

Li, Chu-Min ; Xiao, Fan ; Luo, Mao...
Artificial Intelligence.  279 (2020)  - p. 103197 , 2020
Link: https://doi.org/10.1016/..
 
?
14

A branching heuristic for SAT solvers based on complete imp..:

Xiao, Fan ; Li, Chu-Min ; Luo, Mao...
Science China Information Sciences.  62 (2019)  7 - p. , 2019
Link: https://doi.org/10.1007/..
 
?
15

A resolution calculus for MinSAT:

Li, Chu-Min ; Xiao, Fan ; Manyà, Felip
Logic Journal of the IGPL.  29 (2019)  1 - p. 28-44 , 2019
Link: https://doi.org/10.1093/..
 
1-15