Clique inference process for solving Max-CSP

DOI10.1016/J.EJOR.2007.06.069zbMATH Open1176.90500OpenAlexW2036012312MaRDI QIDQ1042201FDOQ1042201

Authors: Mohand Ou Idir Khemmoudj, Hachemi Bennaceur 

Publication date: 7 December 2009

Published in: European Journal of Operational Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ejor.2007.06.069

Recommendations

• Clique Inference Process for Solving Max-CSP
• Using constraint programming to solve the maximum clique problem
• Solving Max-SAT as weighted CSP
• Solving maximum weight clique using maximum satisfiability reasoning
• A Max-SAT Inference-Based Pre-processing for Max-Clique

zbMATH Keywords

linear programmingbinary cliqueMax-CSP lower bounds

Mathematics Subject Classification ID

Linear programming (90C05) Combinatorial optimization (90C27)

Cites Work

• Network flows. Theory, algorithms, and applications.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Solving weighted CSP by maintaining arc consistency
• Maintaining reversible DAC for Max-CSP

Cited In (1)

• Clique Inference Process for Solving Max-CSP

This page was built for publication: Clique inference process for solving Max-CSP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1042201)