Branching rules for satisfiability

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 426-437
https://doi.org/10.1007/3-540-58715-2_143

Abstract

No abstract available

Keywords

All Related Versions

Version 1, RePEc (Unconfirmed version)

This publication has 5 references indexed in Scilit:

A continuous approach to inductive inference
Mathematical Programming, 1992
Compact normal forms in propositional logic and integer programming formulations
Computers & Operations Research, 1990
Algorithms for testing the satisfiability of propositional formulae
The Journal of Logic Programming, 1989
Controlled Experimental Design for Statistical Comparison of Integer Programming Algorithms
Management Science, 1979
A Computing Procedure for Quantification Theory
Journal of the ACM, 1960