Logic approach to combinatorial computations

zbMath0732.90070MaRDI QIDQ809894

Mark V. Sapir

Publication date: 1990

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

Dijkstra's algorithmdata structure description language

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35) Symbolic computation and algebraic computation (68W30) Combinatorial optimization (90C27) Theory of programming languages (68N15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Data structures (68P05)

This page was built for publication: Logic approach to combinatorial computations