Multiagent SAT (MASSAT): Autonomous pattern search in constrained domains

DOI10.1007/3-540-45675-9_49MaRDI QIDQ4708010zbMATH OpenFDO

Authors Xiaolong Jin, Jiming Liu

Publication date 12 June 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2412/24120318.htm

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computing methodologies and applications (68U99)

Recommendations

• Mechanizing Mathematical Reasoning
• scientific article; zbMATH DE number 1182571
• Migrating techniques from search-based multi-agent path finding solvers to SAT-based approach
• Evolutionary Computation in Combinatorial Optimization
• Distributed constraint satisfaction. Foundations of cooperation in multi-agent systems

Cited in

(2)

• The iterative multi-agent method for solving complex search problems
• Sokoban: Enhancing general single-agent search methods using domain knowledge

Describes a project that uses

Uses Software

• UnitWalk

This page was built for publication: Multiagent SAT (MASSAT): Autonomous pattern search in constrained domains

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