Attribut:Volume
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained +
8736 +
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
1249 +
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
3097 +