Author:
Hirsch Edward A.,Kojevnikov Arist
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference41 articles.
1. F. Asahiro, K. Iwama and E. Miyano, Random generation of test instances with controlled attributes, in: [17] (1996).
2. J. Culberson, I.P. Gent and H.H. Hoos, On the probabilistic approximate completeness of WalkSAT for 2-SAT, Technical Report APES-15A-2000, Department of Computer Science, University of Strathclyde (2000).
3. E. Dantsin, Two propositional proof systems based on the splitting method, Zapiski Nauchnykh Seminarov LOMI 105 (1981) 24–44 (in Russian), English translation: Journal of Soviet Mathematics 22(3) (1983) 1293–1305.
4. E. Dantsin, A. Goerdt, E.A. Hirsch, R. Kannan, J. Kleinberg, C. Papadimitriou, P. Raghavan and U. Schöning, A deterministic (2 − 2 (k + 1)) n algorithm for k-SAT based on local search, Theoretical Computer Science 289(1) (2002) 69–83.
5. E.Y. Dantsin, E.A. Hirsch, S.V. Ivanov and M.V. Vsemirnov, Algorithms for SAT and upper bounds on their complexity, Journal of Mathematical Sciences 118(2) (2003) 4948–4962, Russian original appears in: Zapiski Nauchnykh Seminarov POMI 277 (2001) 14–46.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Combining Incomplete Search and Clause Generation: An Application to the Orienteering Problems with Time Windows;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2023
2. Chapter 6. Incomplete Algorithms;Frontiers in Artificial Intelligence and Applications;2021-02-02
3. Reasoning with Propositional Logic: From SAT Solvers to Knowledge Compilation;A Guided Tour of Artificial Intelligence Research;2020
4. An improved algorithm for the $$(n, 3)$$-MaxSAT problem: asking branchings to satisfy the clauses;Journal of Combinatorial Optimization;2019-05-17
5. A FPGA Based SAT Solver with High Random and Concurrent Strategies;2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C);2018-07