scientific article

zbMath1158.68497MaRDI QIDQ2741511

Ilya Shlyakhter

Publication date: 24 September 2001

Full work available at URL: http://www.elsevier.nl/gej-ng/31/29/24/42/23/show/Products/notes/index.htt#003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (7)

A Study of Symmetry Breaking Predicates and Model Counting ⋮ Unnamed Item ⋮ Propagation algorithms for lexicographic ordering constraints ⋮ Testing satisfiability of CNF formulas by computing a stable set of points ⋮ Parameterized Complexity Results in Symmetry Breaking ⋮ Dynamic structural symmetry breaking for constraint satisfaction problems ⋮ Pardinus: a temporal relational model finder

Uses Software

• Alloy
• OEIS
• Alcoa

Cites Work

• Maintenance scheduling problems as benchmarks for constraint algorithms
• Isomorph-Free Exhaustive Generation
• The On-Line Encyclopedia of Integer Sequences
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: