scientific article; zbMATH DE number 5996844

MaRDI QIDQ3112651zbMATH OpenFDO

Authors M. L. Ginsberg

Publication date 12 January 2012

zbMATH Keywords

crossword puzzlesDr.Fillweighted CSPs

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
• BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs
• Solving Max-SAT as weighted CSP
• An efficient solver for weighted Max-SAT
• scientific article; zbMATH DE number 1746679
• scientific article; zbMATH DE number 2084771

Cited in

(3)

• scientific article; zbMATH DE number 1746679 (Why is no real title available?)
• It's puzzling
• A probabilistic approach to solving crossword puzzles

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 Q3112651)