research
∙
02/14/2023
Reasoning on Feature Models: Compilation-Based vs. Direct Approaches
Analyzing a Feature Model (FM) and reasoning on the corresponding config...
share
research
∙
09/02/2022
Proceedings of the 2022 XCSP3 Competition
This document represents the proceedings of the 2022 XCSP3 Competition. ...
research
∙
02/11/2022
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits
We are interested in computing k most preferred models of a given d-DNNF...
research
∙
09/18/2021
Design and Results of ICCMA 2021
Since 2015, the International Competition on Computational Models of Arg...
research
∙
10/24/2014