Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability-Reference-Cited by-同舟云学术

Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability

Published:2001 Issue: Volume: Page:347-363
ISSN:0302-9743
Container-title:Automated Reasoning
language:
Short-container-title:

Author:

Giunchiglia Enrico,Maratea Massimo,Tacchella Armando,Zambonin Davide

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45744-5_26

Reference18 articles.

1. J. Gu, P. W. Purdom, J. Franco, and B. W. Wah. Algorithms for the satisfiability (sat) problem: A survey. In Satisfiability Problem: Theory and Applications, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 19–153. AMS, 1997.

2. D. G. Mitchell, B. Selman, and H. J. Levesque. Hard and Easy Distributions for SAT Problems. In Proc. of AAAI, pages 459–465. AAAI Press, 1992.

3. J. Franco and M. Paull. Probabilistic analysis of the Davis-Putnam procedure for solving the satisfiability problem. Discrete Applied Mathematics, 5:77–87, 1983.

4. Bart Selman, Henry Kautz, and David McAllester. Ten Challenges in Propositional Reasoning and Search. In Proc. of IJCAI, pages 50–54. Morgan-Kauffmann, 1997.

5. Massacci and Marraro. Logical Cryptanalysis as a SAT Problem. JAR: Journal of Automated Reasoning, 24, 2000.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic;AIxIA 2021 – Advances in Artificial Intelligence;2022

2. Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming;AIxIA 2020 – Advances in Artificial Intelligence;2021

3. Study of Arduino for Creative and Interactive Artwork Installations;Communications in Computer and Information Science;2012

4. Answer Set Programming Based on Propositional Satisfiability;Journal of Automated Reasoning;2006-09-29

5. On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels);Logic Programming;2005