( en | de | ru )

 

Disambiguation of "Lonca, Emmanuel"

Author of the publication

copydeleteadd this publication to your clipboard
Detecting Cardinality Constraints in CNF.

, , , and . SAT, volume 8561 of Lecture Notes in Computer Science, page 285-301. Springer, (2014)

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 Costalas

 

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)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)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)Reasoning on Feature Models: Compilation-Based vs. Direct Approaches., , , , , and . CoRR, (2023)Artificial Intelligence Conferences Closeness., and . IJCAI, page 5158-5164. ijcai.org, (2018)CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver., , and . ICTAI, page 928-935. IEEE Computer Society, (2015)A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation., , , and . JIAF, page 28-38. (2023)