scientific article; zbMATH DE number 4123296

From MaRDI portal

Revision as of 13:32, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4203815

Jump to:navigation, search

zbMath0685.68042MaRDI QIDQ4203815

Cynthia A. Brown, Larry Finkelstein, Paul Walton jun. Purdom

Publication date: 1989

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

zbMATH Keywords

symmetry group search complexity

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Searching and sorting (68P10)

Related Items (5)

Automated reformulation of specifications by safe delay of constraints ⋮ Exploiting symmetries within constraint satisfaction search ⋮ Accelerating backtrack search with a best-first-search strategy ⋮ FSM inference from long traces ⋮ Exploiting functional dependencies in declarative problem specifications

Uses Software

Cayley

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4203815&oldid=18052797"