Wire routing and satisfiability planning

DOI10.1007/3-540-44957-4_55MaRDI QIDQ2767107zbMATH OpenFDO

Authors Esra Erdem, Vladimir Lifschitz, Martin Wong

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44957-4_55

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40) Computing methodologies and applications (68U99) Combinatorial optimization (90C27) Circuits, networks (94C99)

Recommendations

• The complexity of single row routing
• Optimal Placement for River Routing
• River Routing with a Small Number of Jogs
• A Provably Good Algorithm for the Two Module Routing Problem
• scientific article; zbMATH DE number 4051669

Cited in

(3)

• Logic programming and knowledge representation---The A-Prolog perspective
• Applications of action languages in cognitive robotics
• Answer set programming modulo acyclicity

This page was built for publication: Wire routing and satisfiability planning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767107)