Frédéric Lardeux and Éric Monfroy: From Set Constraint Models to SAT Instances. (2016)conf/ictai/LardeuxM1610.1109/ICTAI.2016.0041From Set Constraint Models to SAT Instances.2Frédéric Lardeux1Éric Monfroy2212-217ICTAIICTAI20162016provenance information for RDF data of dblp record 'conf/ictai/LardeuxM16'2023-03-24T00:04:31+0100