Solving Max-SAT as Weighted CSP-Reference-Cited by-同舟云学术

Solving Max-SAT as Weighted CSP

Published:2003 Issue: Volume: Page:363-376
ISSN:0302-9743
Container-title:Principles and Practice of Constraint Programming – CP 2003
language:
Short-container-title:

Author:

de Givry Simon,Larrosa Javier,Meseguer Pedro,Schiex Thomas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45193-8_25

Reference27 articles.

1. Aloul, F., Ramani, A., Markov, I., Sakallah, K.: Pbs: A backtracksearch pseudo-boolean solver and optimizer. In: Symposium on the Theory and Applications of Satisfiability Testing (SAT), Cincinnati (OH), pp. 346–353 (2002)

2. Barth, P.: A davis-putnam based enumeration algorithm for linear pseudo-boolean optimization. Tech. Rep. MPI-I-95-2-003, Max-Planck Institut Für Informatik (1995)

3. DIMACS Series in Discrete Mathematics and Theoretical Computer Science;B. Borchers,1997

4. Borning, A., Mahert, M., Martindale, A., Wilson, M.: Constraint hierarchies and logic programming. In: Int. conf. on logic programming, pp. 149–164 (1989)

5. Dixon, H., Ginsberg, M.: Inference methods for a pseudo-boolean satisfiability solver. In: Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI 2002), pp. 635–640 (2002)

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms, Second Edition;Synthesis Lectures on Artificial Intelligence and Machine Learning;2019-02-14

2. Evaluating Ising Processing Units with Integer Programming;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2019

3. Maximum 2 satisfiability logical rule in restrictive learning environment;AIP Conference Proceedings;2018

4. Hybrid genetic algorithm in the Hopfield network for maximum 2-satisfiability problem;AIP Conference Proceedings;2017

5. Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms;Synthesis Lectures on Artificial Intelligence and Machine Learning;2013-12-20