Elifnaz Yangin

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Tableau Calculus

Branch And Bound Algorithm

Top Venues

Int. J. Approx. Reason.

Publications

Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin
A Complete Tableau Calculus for the Regular MaxSAT Problem. CCIA (2023)
Jordi Coll, Chu-Min Li, Felip Manyà, Elifnaz Yangin
MaxSAT resolution for regular propositional logic. Int. J. Approx. Reason. 162 (2023)