Author Info
Name
Affiliation
Papers
FELIP MANYÀ
Artificial Intelligence Research Institute (IIIA, CSIC), 08193 Bellaterra, Spain; felip@iiia.csic.es
2
Collaborators
Citations 
PageRank 
4
0
0.68
Referers 
Referees 
References 
0
0
0
Title
Citations
PageRank
Year
A resolution calculus for MinSAT00.342021
Clause tableaux for maximum and minimum satisfiability00.342021