Stochastic Boolean satisfiability (vol 27, pg 251, 2001)

被引：0

作者：

Littman, ML

Majercik, S

Pitassi, T

机构：

[1] AT&T Labs Res, Florham Pk, NJ 07932 USA

[2] Bowdoin Coll, Brunswick, ME 04011 USA

[3] Univ Toronto, Dept Comp Sci, Toronto, ON M5X 3G4, Canada

来源：

JOURNAL OF AUTOMATED REASONING | 2002年 / 28卷 / 02期

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：233 / 233

页数：1

共 50 条

[31] Minor burns and pneumatocoeles: a case report (vol 27,pg 504, 2001)
George, A
Bang, RL
Gupta, R
Khalaf, EM
BURNS, 2001, 27 (08) : 856 - 856
[32] Replacing hexavalent chromium (vol 79, pg B27, 2001)
Bishop, CV
Wynn, PC
TRANSACTIONS OF THE INSTITUTE OF METAL FINISHING, 2001, 79 : B34 - B34
[33] Avoiding packaging mismatch with flexible packaging (vol 27, pg 124, 2001)
DeLine, R
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (06) : 576 - 576
[34] Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings
Alan M. Frisch
Timothy J. Peugniez
Anthony J. Doggett
Peter W. Nightingale
Journal of Automated Reasoning, 2005, 35 : 143 - 179
[35] Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection
Lee, Nian-Ze
Wang, Yen-Shi
Jiang, Jie-Hong R.
PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 1339 - 1345
[36] Solving non-boolean satisfiability problems with stochastic local search: A comparison of encodings
Frisch, Alan M.
Peugniez, Timothy J.
Doggett, Anthony J.
Nightingale, Peter W.
JOURNAL OF AUTOMATED REASONING, 2005, 35 (1-3) : 143 - 179
[37] Untitled (vol 13, pg 251, 2012)
Murphy, K.
KRITIKA-EXPLORATIONS IN RUSSIAN AND EURASIAN HISTORY, 2012, 13 (02) : 466 - 466
[38] Making clinical trials safer for human subject (vol 27, pg 253, 2001)
Baram, M
AMERICAN JOURNAL OF LAW & MEDICINE, 2001, 27 (04)
[39] Study of the influence of various D65 simulators on colour matching (vol 117, pg 251, 2001)
Lam, YM
Xin, JH
Sin, KM
COLORATION TECHNOLOGY, 2001, 117 (06) : 361 - 361
[40] Mosaic analysis with a repressible cell marker (MARCM) for Drosophila neural development (vol 24, pg 251, 2001)
Lee, TM
Luo, LQ
TRENDS IN NEUROSCIENCES, 2001, 24 (07) : 385 - 385

← 1 2 3 4 5 →