| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Akinori Kawachi, Benjamin Rossman, Osamu Watanabe |
Query Complexity and Error Tolerance of Witness Finding Algorithms.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Kuhnert, Johannes Köbler, Osamu Watanabe |
Interval graph representation with given interval and intersection lengths.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Akinori Kawachi, Hidetoki Tanaka, Osamu Watanabe |
Estimating the Gowers Norm of Modulo Functions over Prime Fields.  |
IEICE Transactions  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Osamu Watanabe, Takahiro Fukuhara, Hitoshi Kiya |
Codestream-Based Identification of JPEG 2000 Images with Different Coding Parameters.  |
IEICE Transactions  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yoshinori Aono, Manindra Agrawal, Takakazu Sato, Osamu Watanabe |
On the Optimality of Lattices for the Coppersmith Technique.  |
IACR Cryptology ePrint Archive  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Akihide Sai, Yuka Kobayashi, Shigehito Saigusa, Osamu Watanabe, Tetsuro Itakura |
A digitally stabilized type-III PLL using ring VCO with 1.01psrms integrated jitter in 65nm CMOS.  |
ISSCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentine Kabanets, Osamu Watanabe |
Is the Valiant-Vazirani Isolation Lemma Improvable?  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tomonori Ando, Yoshiyuki Kabashima, Hisanao Takahashi, Osamu Watanabe, Masaki Yamamoto |
Spectral Analysis of Random Sparse Matrices.  |
IEICE Transactions  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Osamu Watanabe, Takahiro Fukuhara, Hitoshi Kiya |
Fast identification of JPEG 2000 images for digital cinema profiles.  |
ICASSP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshikazu Kobayashi, Akihiro Kishimoto, Osamu Watanabe |
Evaluations of Hash Distributed A* in Optimal Sequence Alignment.  |
IJCAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | K. Onizuka, Hiroaki Ishihara, Masahiro Hosoya, Shigehito Saigusa, Osamu Watanabe, Shoji Otaka |
A 1.9/2.4GHz dual band CMOS power amplifier with integrated AM-PM distortion canceller.  |
CICC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroki Sakurai, Yuka Kobayashi, Toshiya Mitomo, Osamu Watanabe, Shoji Otaka |
A 1.5GHz-modulation-range 10ms-modulation-period 180kHzrms-frequency-error 26MHz-reference mixed-mode FMCW synthesizer for mm-wave radar application.  |
ISSCC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Takao Asano, Shin-Ichi Nakano, Yoshio Okamoto, Osamu Watanabe (eds.) |
Algorithms and Computation - 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011. Proceedings  |
ISAAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Hemaspaandra, Lane A. Hemaspaandra, Till Tantau, Osamu Watanabe |
On the complexity of kings.  |
Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Masaki Yamamoto |
Average-case analysis for the MAX-2SAT problem.  |
Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshiya Itoh, Osamu Watanabe |
Weighted random popular matchings.  |
Random Struct. Algorithms  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshiya Mitomo, Naoko Ono, Hiroaki Hoshino, Yoshiaki Yoshihara, Osamu Watanabe, Ichiro Seto |
A 77 GHz 90 nm CMOS Transceiver for FMCW Radar Applications.  |
J. Solid-State Circuits  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroaki Ishihara, Masahiro Hosoya, Shoji Otaka, Osamu Watanabe |
A 10-MHz Signal Bandwidth Cartesian Loop Transmitter Capable of Off-Chip PA Linearization.  |
J. Solid-State Circuits  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuke Soejima, Akihiro Kishimoto, Osamu Watanabe |
Evaluating Root Parallelization in Go.  |
IEEE Trans. Comput. Intellig. and AI in Games  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Takeya Shigezumi, Yushi Uno, Osamu Watanabe |
A New Model for a Scale-Free Hierarchical Structure of Isolated Cliques.  |
WALCOM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroaki Ishihara, Masahiro Hosoya, Shoji Otaka, Osamu Watanabe |
A 10MHz signal bandwidth Cartesian-loop transmitter capable of off-chip PA linearization.  |
ISSCC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Coja-Oghlan, Mikael Onsjö, Osamu Watanabe |
Propagation Connectivity of Random Hypergraphs.  |
APPROX-RANDOM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manindra Agrawal, Osamu Watanabe |
One-Way Functions and the Isomorphism Conjecture.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Akinori Kawachi, Osamu Watanabe |
Strong Hardness Preserving Reduction from a P-Samplable Distribution to the Uniform Distribution for NP-Search Problems.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Naoto Miyoshi, Takeya Shigezumi, Ryuhei Uehara, Osamu Watanabe |
Scale free interval graphs.  |
Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikael Onsjö, Osamu Watanabe |
Theory of Computing Systems (TOCS) Submission Version Finding Most Likely Solutions.  |
Theory Comput. Syst.  |
2009 |
DBLP DOI BibTeX RDF |
Most-likely solution, Planted solution model, Average-case analysis, Message passing algorithm |
| 1 | Mikael Onsjö, Osamu Watanabe |
Finding Most Likely Solutions.  |
Theory Comput. Syst.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Tomonori Iida, Takahiro Fukuhara, Hitoshi Kiya |
Identification of JPEG 2000 images in encrypted domain for digital cinema.  |
ICIP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Thomas Zeugmann (eds.) |
Stochastic Algorithms: Foundations and Applications, 5th International Symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009. Proceedings  |
SAGA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Takeya Shigezumi, Yushi Uno, Osamu Watanabe |
A Replacement Model for a Scale-Free Property of Cliques.  |
CTW  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Manindra Agrawal, Osamu Watanabe |
One-Way Functions and the Berman-Hartmanis Conjecture.  |
IEEE Conference on Computational Complexity  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Rui Ito, Toshiya Mitomo, Shigehito Saigusa, Tadashi Arai, Takehiko Toyoda |
A Triple-Band WCDMA Direct Conversion Receiver IC with Reduced Number of Off-Chip Components and Digital Baseband Control Signals.  |
IEICE Transactions  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José L. Balcázar, Yang Dai, Junichi Tanaka, Osamu Watanabe |
Provably Fast Training Algorithms for Support Vector Machines.  |
Theory Comput. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
SVM training algorithm, Random sampling technique, Combinatorial dimension, Support Vector Machine |
| 1 | Hitoshi Kiya, Masahiro Iwahashi, Osamu Watanabe |
A new class of lifting wavelet transform for guaranteeing losslessness of specific signals.  |
ICASSP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoto Miyoshi, Takeya Shigezumi, Ryuhei Uehara, Osamu Watanabe |
Scale Free Interval Graphs.  |
AAIM  |
2008 |
DBLP DOI BibTeX RDF |
scale free graph, interval graphs, small world network |
| 1 | Hitoshi Kiya, Masahiro Iwahashi, Osamu Watanabe |
A new structure of lifting wavelet for reducing rounding error.  |
ISCAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshiya Mitomo, Osamu Watanabe, Ryuichi Fujimoto, Shunji Kawaguchi |
A Quadrature Demodulator for WCDMA Receiver Using Common-Base Input Stage with Robustness to Transmitter Leakage.  |
IEICE Transactions  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Rui Ito, Shigehito Saigusa, Tadashi Arai, Tetsuro Itakura |
A Fast fc Automatic Tuning Circuit with Wide Tuning Range for WCDMA Direct Conversion Receiver Systems.  |
IEICE Transactions  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshiya Itoh, Osamu Watanabe |
Weighted Random Popular Matchings  |
CoRR  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Thomas Hofmeister, Uwe Schöning, Rainer Schuler, Osamu Watanabe |
Randomized Algorithms for 3-SAT.  |
Theory Comput. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Hemaspaandra, Lane A. Hemaspaandra, Till Tantau, Osamu Watanabe |
On the Complexity of Kings.  |
FCT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Mikael Onsjö |
Finding Most Likely Solutions.  |
CiE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, Osamu Watanabe |
Random Access to Advice Strings and Collapsing Results.  |
Algorithmica  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Masaki Yamamoto |
Average-Case Analysis for the MAX-2SAT Problem.  |
SAT  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaaki Fujiyoshi, Wataru Saitou, Osamu Watanabe, Hitoshi Kiya |
Hierarchical Encryption of Multimedia Contents for Access Control.  |
ICIP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Akio Kawana, Shinya Tsuzuki, Osamu Watanabe |
Analysis of Dynamics of Cultured Neuronal Networks Using I&F Model.  |
ICONIP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe |
A Neural Model for Stereo Transparency with the Population of the Disparity Energy Models.  |
ICONIP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikael Onsjö, Osamu Watanabe |
A Simple Message Passing Algorithm for Graph Partitioning Problems.  |
ISAAC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryoichi Kato, Osamu Watanabe |
Substring search and repeat search using factor oracles.  |
Inf. Process. Lett.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe |
Sequential sampling techniques for algorithmic learning theory.  |
Theor. Comput. Sci.  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshiya Mitomo, Osamu Watanabe, Shoji Otaka, Ryuichi Fujimoto, Shunji Kawaguchi |
A Low LO Leakage and Low Power LO Buffer for Direct-Conversion Quadrature Demodulator.  |
IEICE Transactions  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaaki Fujiyoshi, Osamu Watanabe, Hitoshi Kiya |
A Method of Guaranteeing Image-Quality for Quantization-Based Watermarking Using a Nonorthogonal Transformation.  |
IEICE Transactions  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Masayuki Kikuchi |
Nonlinearity of the population activity to transparent motion.  |
Neural Networks  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Hemaspaandra, Lane A. Hemaspaandra, Osamu Watanabe |
The Complexity of Kings  |
CoRR  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Shoko Imaizumi, Osamu Watanabe, Masaaki Fujiyoshi, Hitoshi Kiya |
Generalized hierarchical encryption of JPEG 2000 codestreams for access control.  |
ICIP  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe |
Some Heuristic Analysis of Local Search Algorithms for SAT Problems.  |
SAGA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Akiko Nakazaki, Hitoshi Kiya |
A scalable encryption method allowing backward compatibility with JPEG2000 images.  |
ISCAS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, Osamu Watanabe |
Relativized collapsing between BPP and PH under stringent oracle access.  |
Inf. Process. Lett.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin Aida, Marcel Crâsmaru, Kenneth W. Regan, Osamu Watanabe |
Games with Uniqueness Properties.  |
Theory Comput. Syst.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, Osamu Watanabe |
On Proving Circuit Lower Bounds against the Polynomial-Time Hierarchy.  |
SIAM J. Comput.  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Akiko Nakazaki, Hitoshi Kiya |
A fast image-scramble method using public-key encryption allowing backward compatibility with jpeg2000.  |
ICIP  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Kohei Hatano, Osamu Watanabe |
Learning r-of-k Functions by Boosting.  |
ALT  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, Osamu Watanabe |
Random Access to Advice Strings and Collapsing Results.  |
ISAAC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Masanori Idesawa |
Computational model for neural representation of multiple disparities.  |
Neural Networks  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitoshi Kiya, Shoko Imaizumi, Osamu Watanabe |
Partial-scrambling of images encoded using JPEG2000 without generating marker codes.  |
ICIP  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Osamu Watanabe, Takeshi Sawai, Hayato Takahashi |
Analysis of Randomized Local Search Algorithm for LDPCC Decoding Problem.  |
SAGA  |
2003 |
DBLP DOI BibTeX RDF |
LDPCC decoding, Local search, randomized algorithms, constraint satisfaction |
| 1 | Osamu Watanabe, Hitoshi Kiya |
ROI-based scalability for progressive transmission in JPEG2000 coding.  |
ISCAS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, Osamu Watanabe |
On Proving Circuit Lower Bounds against the Polynomial-Time Hierarchy: Positive and Negative Results.  |
COCOON  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin-yi Cai, Osamu Watanabe |
Stringent Relativization.  |
FSTTCS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Arun Sharma |
Preface  |
Theor. Comput. Sci.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Domingo, Ricard Gavaldà, Osamu Watanabe |
Adaptive Sampling Methods for Scaling Up Knowledge Discovery Algorithms.  |
Data Min. Knowl. Discov.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin Aida, Rainer Schuler, Tatsuie Tsukiji, Osamu Watanabe |
The Difference between Polynomial-Time Many-One and Truth-Table Reducibilities on Distributional Problems.  |
Theory Comput. Syst.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe |
Algorithmic Aspects of Boosting.  |
Progress in Discovery Science  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin Aida, Marcel Crâsmaru, Kenneth W. Regan, Osamu Watanabe |
Games with a Uniqueness Property.  |
STACS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Hofmeister, Uwe Schöning, Rainer Schuler, Osamu Watanabe |
A Probabilistic 3-SAT Algorithm Further Improved.  |
STACS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Hitoshi Kiya |
An extension of ROI-based scalability for progressive transmission in JPEG2000 coding.  |
APCCAS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | José L. Balcázar, Yang Dai, Osamu Watanabe |
Provably Fast Training Algorithms for Support Vector Machines.  |
ICDM  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin Aida, Rainer Schuler, Tatsuie Tsukiji, Osamu Watanabe |
On the Difference between Polynomial-Time Many-One and Truth-Table Reducibilities on Distributional Problems.  |
STACS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricard Gavaldà, Osamu Watanabe |
Sequential Sampling Algorithms: Unified Analysis and Lower Bounds.  |
SAGA  |
2001 |
DBLP DOI BibTeX RDF |
Data mining, Random sampling, adaptive sampling, sequential sampling, Chernoff bounds |
| 1 | José L. Balcázar, Yang Dai, Osamu Watanabe |
A Random Sampling Technique for Training Support Vector Machines.  |
ALT  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyoichi Okamoto, Osamu Watanabe |
Deterministic Application of Grover's Quantum Search Algorithm.  |
COCOON  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuyuki Amano, John Tromp, Paul M. B. Vitányi, Osamu Watanabe |
On a Generalized Ruin Problem.  |
RANDOM-APPROX  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe |
How Can Computer Science Contribute to Knowledge Discovery?  |
SOFSEM  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajesh P. N. Rao, Jörg Rothe, Osamu Watanabe |
Corrigendum to "Upward separation for FewP and related classes".  |
Inf. Process. Lett.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin Aida, Rainer Schuler, Tatsuie Tsukiji, Osamu Watanabe |
On the difference between polynomial-time many-one and truth-table reducibilities on distributional problems  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Lindner, Rainer Schuler, Osamu Watanabe |
Resource-Bounded Measure and Learnability.  |
Theory Comput. Syst.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Domingo, Osamu Watanabe |
Scaling Up a Boosting-Based Learner via Adaptive Sampling.  |
PAKDD  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (eds.) |
Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings  |
IFIP TCS  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Osamu Watanabe |
Sequential Sampling Techniques for Algorithmic Learning Theory.  |
ALT  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Domingo, Osamu Watanabe |
MadaBoost: A Modification of AdaBoost.  |
COLT  |
2000 |
DBLP BibTeX RDF |
|
| 1 | Osamu Watanabe, Kunihiko Fukushima |
Stereo algorithm that extracts a depth cue from interocularly unpaired points.  |
Neural Networks  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Lane A. Hemaspaandra, Zhigen Jiang, Jörg Rothe, Osamu Watanabe |
Boolean Operations, Joins, and the Extended Low Hierarchy  |
CoRR  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Lane A. Hemaspaandra, Zhigen Jiang, Jörg Rothe, Osamu Watanabe |
Polynomial-Time Multi-Selectivity  |
CoRR  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Osamu Watanabe |
From Computational Learning Theory to Discovery Science.  |
ICALP  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Osamu Watanabe, Takashi Yokomori (eds.) |
Algorithmic Learning Theory, 10th International Conference, ALT '99, Tokyo, Japan, December 6-8, 1999, Proceedings  |
ALT  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Peter Bro Miltersen, N. V. Vinodchandran, Osamu Watanabe |
Super-Polynomial Versus Half-Exponential Circuit Size in the Exponential Hierarchy.  |
COCOON  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Domingo, Ricard Gavaldà, Osamu Watanabe |
Adaptive Sampling Methods for Scaling Up Knowledge Discovery Algorithms.  |
Discovery Science  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Lane A. Hemaspaandra, Zhigen Jiang, Jörg Rothe, Osamu Watanabe |
Boolean Operations, Joins, and the Extended Low Hierarchy.  |
Theor. Comput. Sci.  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Domingo, Ricard Gavaldà, Osamu Watanabe |
Practical algorithms for on-line sampling  |
CoRR  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Satoshi Horie, Osamu Watanabe |
Hard instance generation for SAT  |
CoRR  |
1998 |
DBLP BibTeX RDF |
|