scientific article; zbMATH DE number 1114005

MaRDI QIDQ4375773zbMATH OpenFDO

Authors Yueyen Jiang, Henry Kautz, Bart Selman

Publication date 2 March 1998

zbMATH Keywords

discrete constraint satisfaction problems

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Graph theory (including graph drawing) in computer science (68R10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Communication networks in operations research (90B18) Boolean programming (90C09)

Recommendations

• Solving Max-SAT as weighted CSP
• A new approach for weighted constraint satisfaction
• scientific article; zbMATH DE number 2243365
• scientific article; zbMATH DE number 1094771
• Approximate algorithms for generalized maximum utility problems

Cited in

(19)

• Learning action models from plan examples using weighted MAX-SAT
• Worst-case study of local search for MAX-\(k\)-SAT.
• Learning hierarchical probabilistic logic programs
• A taxonomy of weight learning methods for statistical relational learning
• Leveraging cluster backbones for improving MAP inference in statistical relational models
• Lifted graphical models: a survey
• Portfolios in stochastic local search: efficiently computing most probable explanations in Bayesian networks
• A taxonomy of exact methods for partial Max-SAT
• Markov logic networks
• Probabilistic event calculus for event recognition
• scientific article; zbMATH DE number 4112072 (Why is no real title available?)
• Stochastic Simulation on Integer Constraint Sets
• Approximate algorithms for generalized maximum utility problems
• Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +
• Solutions for hard and soft constraints using optimized probabilistic satisfiability
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• State space search with prioritised soft constraints
• A new approach for weighted constraint satisfaction
• Stochastic constraint programming: A scenario-based approach

Describes a project that uses

Uses Software

• Walksat

This page was built for publication:

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