( en | de | ru )

 

Disambiguation of "Lonca, Emmanuel"

Author of the publication

copydeleteadd this publication to your clipboard
Improving Model Counting by Leveraging Definability.

, , and . IJCAI, page 751-757. IJCAI/AAAI Press, (2016)

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 Umana

 

Other publications of authors with the same name

Proceedings of the 2022 XCSP3 Competition., , and . CoRR, (2022)Improving Model Counting by Leveraging Definability., , and . IJCAI, page 751-757. IJCAI/AAAI Press, (2016)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)A SAT-based Approach for Argumentation Dynamics., , and . AAMAS, page 2351-2353. International Foundation for Autonomous Agents and Multiagent Systems / ACM, (2024)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)Artificial Intelligence Conferences Closeness., and . IJCAI, page 5158-5164. ijcai.org, (2018)On the Complexity of Optimization Problems based on Compiled NNF Representations., , and . CoRR, (2014)CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver., , and . ICTAI, page 928-935. IEEE Computer Society, (2015)