Towards Provably Complete Stochastic Search Algorithms for Satisfiability


Lynce, I., Baptista, L. and Marques-Silva, J. P., (2001) Towards Provably Complete Stochastic Search Algorithms for Satisfiability Brazdil, P. and Jorge, A. (eds.) At Proceedings of the Portuguese Conference on Artificial Intelligence, Portugal. , pp. 363-370.

Download

[img] PDF jpms-epia01.pdf - Other
Download (129kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: December 2001
Venue - Dates: Proceedings of the Portuguese Conference on Artificial Intelligence, Portugal, 2001-12-01
Related URLs:
Organisations: Electronics & Computer Science
ePrint ID: 262040
Date :
Date Event
December 2001Published
Date Deposited: 02 Mar 2006
Last Modified: 17 Apr 2017 21:48
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262040

Actions (login required)

View Item View Item