Reinforcement Learning and Reactive Search: an adaptive MAX-SAT solver

Authors:
Roberto Battiti;Paolo Campigotto
Affiliations:
Dipartimento di Ingegneria e Scienza dell'Informazione, University of Trento, Italy, email: battiti@disi.unitn.it;Dipartimento di Ingegneria e Scienza dell'Informazione, University of Trento, Italy, email: campigotto@disi.unitn.it
Venue:
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Year:
2008

Reactive search, a history-sensitive heuristic for MAX-SAT

Journal of Experimental Algorithmics (JEA)
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT

CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Least-squares policy iteration

The Journal of Machine Learning Research
Advances in local search for satisfiability

AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence

Hi-index	0.00