Relaxed survey propagation for the weighted maximum satisfiability problem

Relaxed survey propagation for the weighted maximum satisfiability problem

10.1613/jair.2808

Saved in:

書目詳細資料
Main Authors:	Chieu, H.L., Lee, W.S.
其他作者:	COMPUTER SCIENCE
格式:	Article
出版:	2013
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/39039
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore

相似書籍

Cooled and relaxed survey propagation for MRFs
由: Chieu, H.L., et al.
出版: (2013)

Relaxed survey propagation: A sum-product algorithm for max-SAT
由: Chieu, H.L., et al.
出版: (2013)

Improved algorithms for the general exact satisfiability problem
由: Hoi, G, et al.
出版: (2023)

The relaxed online maximum margin algorithm
由: Li, Y., et al.
出版: (2013)

On cyber attacks and the maximum-weight rooted-subtree problem
由: Geir Agnarsson, et al.
出版: (2018)

On cyber attacks and the maximum-weight rooted-subtree problem
由: Agnarsson G., et al.
出版: (2017)

MEASURES AND ALGORITHMS FOR THE EXACT SATISFIABILITY PROBLEM AND ITS VARIANTS
由: HOI CHI KIT GORDON
出版: (2021)

On semidefinite programming relaxations of maximum k -section
由: Klerk, Etienne de., et al.
出版: (2013)

A maximum entropy approach to information extraction from semi-structured and free text
由: Chieu, H.L., et al.
出版: (2013)

Active learning for probabilistic hypotheses using the maximum Gibbs error criterion
由: Nguyen, V.C., et al.
出版: (2014)

Approximate satisfiability counting
由: Andrei, Ş., et al.
出版: (2013)

Congruences satisfied by Apéry-like numbers
由: Chan, H.H., et al.
出版: (2014)

Application of satisfiability to examination timetabling
由: TANG HAIYING
出版: (2010)

Counting for satisfiability by inverting resolution
由: Andrei, S.
出版: (2014)

Incremental satisfiability counting for real-time systems
由: Andrei, Ş., et al.
出版: (2013)

Satisfiability modulo heap-based programs
由: LE, Quang Loc, et al.
出版: (2016)

On differential equations satisfied by modular forms
由: Yang, Y.
出版: (2016)

The complexity of cyber attacks in a new layered-security model and the maximum-weight, rooted-subtree problem
由: Geir Agnarsson, et al.
出版: (2018)

The complexity of cyber attacks in a new layered-security model and the maximum-weight, rooted-subtree problem
由: Geir Agnarsson, et al.
出版: (2018)

On commutative noetherian rings which satisfy the radical formula
由: Leung, K.H., et al.
出版: (2014)

Noise propagation in SPECT images reconstructed using an iterative maximum-likelihood algorithm
由: Liew, S.C., et al.
出版: (2014)

Measures in M(G) which satisfy certain integrability conditions
由: Quek, T.S., et al.
出版: (2014)

Satisfying real-time constraints with custom instructions
由: Yu, P., et al.
出版: (2013)

Permutable entire functions satisfying algebraic differential equations
由: Zheng J.-H., et al.
出版: (2014)

Supervised maximum-likelihood weighting of composite protein networks for complex prediction
由: Yong, C.H., et al.
出版: (2014)

The asymptotic properties of the maximum-relevance weighted likelihood estimators
由: Hu, F.
出版: (2014)

Sustained surface wave propagation induced by surface diffusion driven by strain relaxation in a heteroepitaxial film
由: Liu, P., et al.
出版: (2014)

MAXIMUM AGREEMENT FOREST PROBLEM
由: XU YOURAN
出版: (2021)

Do satisfied employees deliver better service experiences that result in satisfied customers, and, what are the factors affecting employee satisfaction and customer satisfaction?
由: CHEONG, Chuen Kong Kevin
出版: (2019)

A ONE DIMENSION MODELLING STUDY OF TSUNAMI PROPAGATION ON BREAKWATER: MAXIMUM ELEVATION
由: Inayah Bada Maulidya, Nurul

On commutative Noetherian rings which satisfy the generalized radical formula
由: Man, S.H.
出版: (2014)

Life on board: seafarer's resistance to satisfying libidinal energy.
由: Sanares, Crisly Mei S.
出版: (2013)

Humble leaders and satisfied followers: The roles of LMX and neuroticism
由: Daniels, M. A., et al.
出版: (2013)

Considering circuit observability don't cares in CNF satisfiability
由: Fu, Z., et al.
出版: (2013)

Permutable entire functions satisfying algebraic differential equations
由: Jian Hua Zheng, et al.
出版: (2018)

Permutable entire functions satisfying algebraic differential equations
由: Jian Hua Zheng, et al.
出版: (2018)

Divisible quantum dynamics satisfies temporal Tsirelson’s bound
由: Le, Thao, et al.
出版: (2017)

On prefix codes satisfying RLL-constraint for Zipf distribution
由: Ho, Shaun
出版: (2020)

SUBGROUPS WHOSE GENERATORS SATISFY SOME COMMUTATOR CONDITIONS
由: CHENG KAI NAH
出版: (2020)

ENHANCING FEATURES OF TRAVY APPLICATION IN SATISFYING CUSTOMER NEEDS
由: Shohibulhaq, Zubair