Partitioning methods for satisfiability testing on large formulas

This publication has 8 references indexed in Scilit:

• Satisfiability testing with more reasoning and less guessing
  Published by American Mathematical Society (AMS) ,1996
• Spectral K-way ratio-cut partitioning and clustering
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Directed hypergraphs and applications
  Discrete Applied Mathematics, 1993
• Test pattern generation using Boolean satisfiability
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1992
• Algorithms for testing the satisfiability of propositional formulae
  The Journal of Logic Programming, 1989
• Optimization by Simulated Annealing
  Science, 1983
• A Linear-Time Heuristic for Improving Network Partitions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• An Efficient Heuristic Procedure for Partitioning Graphs
  Bell System Technical Journal, 1970