Hidden gold in random generation of SAT satisfiable instances

Authors:
Thierry Castell;Michel Cayrol
Affiliations:
IRIT, Universite Paul Sabatier, Toulouse Cedex, France;IRIT, Universite Paul Sabatier, Toulouse Cedex, France
Venue:
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Year:
1997

Citing 5
Cited 1

Many hard examples for resolution

Journal of the ACM (JACM)
Noise strategies for improving local search

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
A machine program for theorem-proving

Communications of the ACM
Performance test of local search algorithms using new types of random CNF formulas

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
GSAT and local consistency

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1

Using Arc weights to improve iterative repair

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Can an AI program contribute to scientific discovery? An area where this gauntlet has been thrown is that of understanding the mechanisms of chemical carcinogenesis. One approach is to obtain Structure-Activity Relationships (SARs) relating molecular ...