Author Info
Name
Affiliation
Papers
JOAN RAMON SOLER
Artificial Intelligence Research Inst., Spanish National Research Council
6
Collaborators
Citations 
PageRank 
6
1
2.06
Referers 
Referees 
References 
3
55
37
Title
Citations
PageRank
Year
Clause tableaux for maximum and minimum satisfiability00.342021
A Tableau Calculus for Non-clausal Maximum Satisfiability.00.342019
Clausal Form Transformation in MaxSAT00.342019
A MaxSAT-Based Approach to the Team Composition Problem in a Classroom.10.372017
A Clause Tableau Calculus for MaxSAT.00.342016
A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics00.342016