Personensuche
X
?
2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) ,
2
A Tableau Calculus for Signed Maximum Satisfiability:
, In:
?
Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science ,
9
SAT Encodings of Pseudo-Boolean Constraints with At-Most-On..:
, In:
?
Lecture Notes in Computer Science; Principles and Practice of Constraint Programming ,
10