Multiagent SAT (MASSAT): Autonomous Pattern Search in Constrained Domains

This publication has 8 references indexed in Scilit:

• GRASP-A new search algorithm for satisfiability
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Multi-agent oriented constraint satisfaction
  Artificial Intelligence, 2001
• Local search characteristics of incomplete SAT procedures
  Artificial Intelligence, 2001
• Autonomous Agents and Multi-Agent Systems
  Published by World Scientific Pub Co Pte Ltd ,2001
• Look-ahead versus look-back for satisfiability problems
  Published by Springer Nature ,1997
• Experimental results on the crossover point in random 3-SAT
  Artificial Intelligence, 1996
• Efficient local search for very large-scale satisfiability problems
  ACM SIGART Bulletin, 1992
• The complexity of theorem-proving procedures
  Published by Association for Computing Machinery (ACM) ,1971