Satisfiability in the Year 2000

• Authors:

• Ian P. Gent;Toby Walsh

• Affiliations:

• School of Computer Science, University of St Andrews, St Andrews, Fife KY16 9SS, United Kingdom. e-mail: ipg@dcs.st-and.ac.uk;Department of Computer Science, University of York, York YO10 5DD, United Kingdom. e-mail: tw@cs.york.ac.uk

• Venue:
• Journal of Automated Reasoning
• Year:
• 2000