I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

A Comparison of ASP-Based and SAT-Based Algorithms for the ..:

, In: Lecture Notes in Computer Science; Scalable Uncertainty Management,
Kuhlmann, Isabelle ; Gessler, Anna ; Laszlo, Vivien. - p. 139-153 , 2022
Link: https://doi.org/10.1007/978-3-031-18843-5_10