We stand with Ukraine  

Joan Ramon Soler

Orcid: 0009-0002-9304-6245

According to our database1, Joan Ramon Soler authored at least 11 papers between 2016 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Clausal Forms in MaxSAT and MinSAT.
[BibTeX]
[DOI]
Chu Min Li
,
Felip Manyà
,
Joan Ramon Soler
,
Amanda Vidal
Int. J. Comput. Intell. Syst., 2022

2021
Clause tableaux for maximum and minimum satisfiability.
[BibTeX]
[DOI]
Josep Argelich
,
Chu Min Li
,
Felip Manyà
,
Joan Ramon Soler
Log. J. IGPL, 2021

From Non-Clausal to Clausal MinSAT.
[BibTeX]
[DOI]
Chu-Min Li
,
Felip Manyà
,
Joan Ramon Soler
,
Amanda Vidal
Proceedings of the Artificial Intelligence Research and Development, 2021

2020
Solving the Team Composition Problem in a Classroom.
[BibTeX]
[DOI]
Felip Manyà
,
Santiago Negrete
,
Carme Roig
,
Joan Ramon Soler
Fundam. Informaticae, 2020

2019
A Tableau Calculus for Non-clausal Maximum Satisfiability.
[BibTeX]
[DOI]
Chu Min Li
,
Felip Manyà
,
Joan Ramon Soler
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Clausal Form Transformation in MaxSAT.
[BibTeX]
[DOI]
Chu Min Li
,
Felip Manyà
,
Joan Ramon Soler
Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019

2018
Clause Branching in MaxSAT and MinSAT.
[BibTeX]
[DOI]
Josep Argelich
,
Chu Min Li
,
Felip Manyà
,
Joan Ramon Soler
Proceedings of the Artificial Intelligence Research and Development, 2018

2017
A MaxSAT-Based Approach to the Team Composition Problem in a Classroom.
[BibTeX]
[DOI]
Felip Manyà
,
Santiago Negrete
,
Carme Roig
,
Joan Ramon Soler
Proceedings of the Autonomous Agents and Multiagent Systems, 2017

2016
A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics.
[BibTeX]
[DOI]
Joan Ramon Soler
,
Felip Manyà
Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

A Clause Tableau Calculus for MaxSAT.
[BibTeX]
[DOI]
Chu Min Li
,
Felip Manyà
,
Joan Ramon Soler
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Clause Tableau Calculus for MinSAT.
[BibTeX]
[DOI]
Chu Min Li
,
Felip Manyà
,
Joan Ramon Soler
Proceedings of the Artificial Intelligence Research and Development, 2016


  Loading...