Complementary Approaches to CNF Boolean Equations
- 1 January 1987
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- The Pure Literal Rule and Polynomial Average TimeSIAM Journal on Computing, 1985
- An Analysis of Backtracking with Search RearrangementSIAM Journal on Computing, 1983
- An Average Time Analysis of BacktrackingSIAM Journal on Computing, 1981
- Backtracking with multi-level dynamic search rearrangementActa Informatica, 1981
- Tree Size by Partial BacktrackingSIAM Journal on Computing, 1978
- A New Algorithm for Generating All the Maximal Independent SetsSIAM Journal on Computing, 1977
- A Fast Backtracking Algorithm to Test Directed Graphs for Isomorphism Using Distance MatricesJournal of the ACM, 1976
- On Backtracking: A Combinatorial Description of the AlgorithmSIAM Journal on Computing, 1974
- The Enumeration of Maximal Cliques of Large GraphsSIAM Journal on Computing, 1973