Handbook of parallel constraint reasoning

Veröffentlicht 2018

Learning from conflicts in propositional satisfiability

von Hamadi, Youssef
Veröffentlicht in 4OR (2012)

A Declarative Framework for Maximal k-plex Enumeration Problems

von Jabbour, Said
Veröffentlicht in International Conference on Autonomous Agents and Multiagent Systems (21. : 2022 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) ; Volume 2 of 3 (2022)

Towards a Compact SAT-Based Encoding of Itemset Mining Tasks

von Nekkache, Ikram
Veröffentlicht in CPAIOR (18. : 2021 : Online) Integration of Constraint Programming, Artificial Intelligence, and Operations Research (2021)