Login / Signup
Vivien Laszlo
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Complexity Analysis
Computationally Efficient
Learning Algorithm
Orders Of Magnitude
Top Venues
CoRR
SUM
</>
Publications
</>
Isabelle Kuhlmann
,
Anna Gessler
,
Vivien Laszlo
,
Matthias Thimm
Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement.
CoRR
(2023)
Isabelle Kuhlmann
,
Anna Gessler
,
Vivien Laszlo
,
Matthias Thimm
A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure.
SUM
(2022)