Personensuche
X
?
Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science ,
7
On CDCL-Based Proof Systems with the Ordered Decision Strat..:
, In:
?
Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing ,
10