Well-behaved search and the Robbins problem

DOI10.1007/3-540-62950-5_57zbMath1379.68276OpenAlexW1542599773MaRDI QIDQ4594214

William W. McCune

Publication date: 17 November 2017

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-62950-5_57

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05)

Uses Software

• EQP

This page was built for publication: Well-behaved search and the Robbins problem