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

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorics in computer science (68R05) Graph theory (including graph drawing) in computer science (68R10) 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)

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

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)