Satisfiability in Nonlinear Time: Algorithms and Complexity.

Frank D. Anger, Debasis Mitra, Rita V. Rodrguez

Browse the full FlAIRS paper archive.