The Satisfiability problem for the Schöenfinkel-Bernays fragment: Partial Instantiation and Hypergraph Algorithms (1994)

Cached

Download Links

by Giorgio Gallo , Gabriella Rago
Venue:Proceedings of 8th subcommission "Magnetic
Citations:4 - 2 self