conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
← Authors
Copy link
Joan Ramon Soler
1 papers · 2016–2016 · 1 conference
· across top CS/AI conferences
Conferences
IJCAI (1)
Top co-authors
Felip Manyà (1)
Chu-Min Li (1)
Papers
A Clause Tableau Calculus for MaxSAT
IJCAI 2016