scientific article; zbMATH DE number 1759715

zbMATH Open0989.68526MaRDI QIDQ4536728FDOQ4536728

Toby Walsh

Publication date: 6 August 2002

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited In (7)

• The state of SAT
• Title not available (Why is that?)
• Constraint CNF: SAT and CSP Language Under One Roof.
• A case study of mutual routing-scheduling reformulation
• Logic Programming
• Title not available (Why is that?)
• Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem

Uses Software

• Walksat

   Recommendations

• Title not available (Why is that?) 👍 👎
• Propagation in CSP and SAT 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem 👍 👎

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