( en | de | ru )

 

Disambiguation of "Lonca, Emmanuel"

Author of the publication

copydeleteadd this publication to your clipboard
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits.

, , , , , and . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Robert Loncar

Laëtitia Loncan

Ema Loncarek

Maja Loncar

Emmanuel Dogbatse

 

Other publications of authors with the same name

Improving Model Counting by Leveraging Definability., , and . IJCAI, page 751-757. IJCAI/AAAI Press, (2016)Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne., and . Rev. d'Intelligence Artif., 28 (5): 615-636 (2014)Detecting Cardinality Constraints in CNF., , , and . SAT, volume 8561 of Lecture Notes in Computer Science, page 285-301. Springer, (2014)Fixed-Parameter Tractable Optimization Under DNNF Constraints., , , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 1194-1202. IOS Press, (2016)Proceedings of the 2022 XCSP3 Competition., , and . CoRR, (2022)Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits., , , , , and . CoRR, (2022)Definability for model counting., , and . Artif. Intell., (2020)Automated metamorphic testing of variability analysis tools., , , , , and . Softw. Test. Verification Reliab., 25 (2): 138-163 (2015)Introducing the Fourth International Competition on Computational Models of Argumentation., , , and . SAFA@COMMA, volume 2672 of CEUR Workshop Proceedings, page 80-85. CEUR-WS.org, (2020)On the Complexity of Optimization Problems based on Compiled NNF Representations., , and . CoRR, (2014)