Satisfiability in Nonlinear Time: Algorithms and Complexity

• Authors:

• Frank D. Anger;Debasis Mitra;Rita V. Rodríguez

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference
• Year:
• 1999