close
1.

図書

図書
Fahiem Bacchus, Toby Walsh (eds.)
出版情報: Berlin : Springer, c2005  xii, 492 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3569
所蔵情報: loading…
2.

図書

図書
Holger H. Hoos, David G. Mitchell (eds.)
出版情報: Berlin : Springer, c2005  xiii, 392 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3542
所蔵情報: loading…
3.

図書

図書
edited by Donald E. Walker
出版情報: Washington : Thompson Book Co , London : Academic Press, c1967  ix, 406 p. ; 29 cm
所蔵情報: loading…
4.

図書

図書
Enrico Giunchiglia, Armando Tacchella (eds.)
出版情報: Berlin : Springer, c2004  xi, 530 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2919
所蔵情報: loading…
目次情報: 続きを見る
Satisfiability and Computing van der Waerden Numbers / Michael R. Dransfield ; Victor W. Marek ; Miroslaw Truszczynski
An Algorithm for SAT Above the Threshold / Hubie Chen
Watched Data Structures for QBF Solvers / Ian Gent ; Enrico Giunchiglia ; Massimo Narizzano ; Andrew Rowley ; Armando Tacchella
How Good Can a Resolution Based SAT-solver Be? / Eugene Goldberg ; Yakov Novikov
A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation / Xiao Yu Li ; Matthias F. Stallmann ; Franc Brglez
Density Condensation of Boolean Formulas / Youichi Hanatani ; Takashi Horiyama ; Kazuo Iwama
SAT Based Predicate Abstraction for Hardware Verification / Edmund Clarke ; Muralidhar Talupur ; Helmut Veith ; Dong Wang
On Boolean Models for Quantified Boolean Horn Formulas / Hans Kleine Büning ; K. Subramani ; Xishun Zhao
Local Search on SAT-encoded Colouring Problems / Steven Prestwich
A Study of Pure Random Walk on Random Satisfiability Problems with "Physical" Methods / Guilhem Semerjian ; Remi Monasson
Hidden Threshold Phenomena for Fixed-Density SAT-formulae / Hans van Maaren ; Linda van Norden
Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs / Sven Baumer ; Rainer Schuler
Width-Based Algorithms for SAT and CIRCUIT-SAT / Elizabeth Broering ; Satyanarayana V. Lokam
Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems / Stefan Porschen ; Bert Randerath ; Ewald Speckenmeyer
On Fixed-Parameter Tractable Parameterizations of SAT / Stefan Szeider
On the Probabilistic Approach to the Random Satisfiability Problem / Giorgio Parisi
Comparing Different Prenexing Strategies for Quantified Boolean Formulas / Uwe Egly ; Martina Seidl ; Hans Tompits ; Stefan Woltran ; Michael Zolda
Solving Error Correction for Large Data Sets by Means of a SAT Solver / Renato Bruni
Using Problem Structure for Efficient Clause Learning / Ashish Sabharwal ; Paul Beame ; Henry Kautz
Abstraction-Driven SAT-based Analysis of Security Protocols / Alessandro Armando ; Luca Compagna
A Case for Efficient Solution Enumeration / Sarfraz Khurshid ; Darko Marinov ; Ilya Shlyakhter ; Daniel Jackson
Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms / Lintao Zhang ; Sharad Malik
Local Consistencies in SAT / Christian Bessière ; Emmanuel Hebrard ; Toby Walsh
Guiding SAT Diagnosis with Tree Decompositions / Per Bjesse ; James Kukula ; Robert Damiano ; Ted Stanion ; Yunshan Zhu
On Computing k-CNF Formula Properties / Ryan Williams
Effective Preprocessing with Hyper-Resolution and Equality Reduction / Fahiem Bacchus ; Jonathan Winter
Read-Once Unit Resolution
The Interaction Between Inference and Branching Heuristics / Lyndon Drake ; Alan Frisch
Hypergraph Reductions and Satisfiability Problems / Daniele Pretolani
SBSAT: a State-Based, BDD-Based Satisfiability Solver / John Franco, Michal Kouril ; John Schlipf ; Jeffrey Ward ; Sean Weaver ; Michael Dransfield ; W. Mark Vanfleet
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution / Maher Mneimneh ; Karem Sakallah
The Combinatorics of Conflicts between Clauses / Oliver Kullmann
Conflict-Based Selection of Branching Rules / Marc Herbstritt ; Bernd Becker
The Essentials of the SAT 2003 Competition / Daniel Le Berre ; Laurent Simon
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers
kcnfs: an Efficient Solver for Random k-SAT Formulae / Gilles Dequen ; Olivier Dubois
An Extensible SAT-solver / Niklas Eén ; Niklas Sörensson
Survey and Belief Propagation on Random K-SAT / Alfredo Braunstein ; Riccardo Zecchina
Author Index
Satisfiability and Computing van der Waerden Numbers / Michael R. Dransfield ; Victor W. Marek ; Miroslaw Truszczynski
An Algorithm for SAT Above the Threshold / Hubie Chen
Watched Data Structures for QBF Solvers / Ian Gent ; Enrico Giunchiglia ; Massimo Narizzano ; Andrew Rowley ; Armando Tacchella
5.

雑誌

雑誌
出版情報: [United States] : Western Decision Sciences Institute, 1991-  v. ; 28 cm
巻次年月次: 20th (1991)-
所蔵情報: loading…
6.

図書

図書
edited by Armin Biere ... [et al.]
出版情報: Amsterdam : IOS Press, c2009  xiii, 966 p. ; 25 cm
シリーズ名: Frontiers in artificial intelligence and applications ; v. 185
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼