yusuke1997/dblp-id-title huggingface dataset:
Adv-Plate Attack: Adversarially Perturbed Plate for License Plate Recognition System
Machine Vision Sensors
QoS Based Cooperative Communications and Security Mechanisms for Ad Hoc Sensor Networks
Fabricating 90 nm Resolution Structures in Sol-Gel Silica Optical Waveguides for Biosensor Applications
Lithography-Free, Low-Cost Method for Improving Photodiode Performance by Etching Silicon Nanocones as Antireflection Layer
A Nonlocal Method with Modified Initial Cost and Multiple Weight for Stereo Matching
Spectrophotometric Analysis of Phosphoric Acid Leakage in High-Temperature Phosphoric Acid-Doped Polybenzimidazole Membrane Fuel Cell Application
Node Injection Control Logic Design for Intelligent Home System Based on Wireless Sensor Network
A Novel and Inexpensive Approach for Force Sensing Based on FSR Piezocapacitance Aimed at Hysteresis Error Reduction
A Self-Learning MAC Protocol for Energy Harvesting and Spectrum Access in Cognitive Radio Sensor Networks
Rotating Machinery Fault Diagnosis for Imbalanced Data Based on Fast Clustering Algorithm and Support Vector Machine
A Novel Cluster-Based Wireless Sensor Network Reliability Model Using the Expectation Maximization Algorithm
A Feasibility Study on Monitoring Pile-Soil Bonding Condition Using Piezoceramic Transducer and Horizontal Impact
Survey of Security Technologies on Wireless Sensor Networks
Application of Traction Power Supply for Metro Rail Transit Based on Electromagnetic Sensing Technology
Feasibility Study of Interlayer Slide Monitoring Using Postembedded Piezoceramic Smart Aggregates
An Optimization Method for the Layout of Soil Humidity Sensors Based on Compressed Sensing
Wave Power Generation by Piezoelectric Sensor Attached to a Coastal Structure
Feature Coverage Indexes for Dual Homography Estimation in Constructing Panorama Image
Sequence Alignment with Dynamic Divisor Generation for Keystroke Dynamics Based User Authentication
Analysis of Digital Long Jump Take-off Wearable Sensor Monitoring System
Optical Fiber Force Myography Sensor for Identification of Hand Postures
An eHealth System for Pressure Ulcer Risk Assessment Based on Accelerometer and Pressure Data
Efficiency Analysis of Sports Equipment Batch Management Based on Antimetal RFID Tag
Design and Application of Collaborative Experiment Management Platform for Innovation and Entrepreneurship Education Based on an Intelligent Sensor Network
A Method for Selecting Optimal Number of Sensors to Improve the Credibility
Improved Genetic Algorithm for Intelligent Grinding Trajectory of Industrial Robot Sensor
Mining and Evaluation of Teaching Civics Courses Based on Apriori-TIDS Algorithm
Research Trend Analysis of Geospatial Information in South Korea Using Text-Mining Technology
Impact of Topography and Tidal Height on ALOS PALSAR Polarimetric Measurements to Estimate Aboveground Biomass of Mangrove Forest in Indonesia
Use of GMM and SCMS for Accurate Road Centerline Extraction from the Classified Image
3D Face Recognition Using Anthropometric and Curvelet Features Fusion
Dynamic Path Planning Analysis of Warehouse Handling Robot
Lattice-Based 3-Dimensional Wireless Sensor Deployment
Sensing Performance Study of SiC, a Wide Bandgap Semiconductor Material Platform for Surface Plasmon Resonance Sensor
Cross-Layer Optimized Energy-Balanced Topology Control Algorithm for WSNs
Block-Split Array Coding Algorithm for Long-Stream Data Compression
Design of Music Teaching System Based on Internet of Things Multimedia Intelligent Platform
Cost-Aware Resource Optimization for Efficient Cloud Application in Smart Cities
Modified Adaptive Fusion Scheme for Kalman Filter Based on the Hypothesis Test
A Tent Map Based A/D Conversion Circuit for Robot Tactile Sensor
Investigation of the Surrounding Environment's Influence on Gait Sensing Using a Plant as a Sensor
Field-Assisted and Thermionic Contributions to Conductance in SnO 2 Thick-Films
Deep Learning Approach for Building Detection Using LiDAR-Orthophoto Fusion
Study of Three-Component FBG Vibration Sensor for Simultaneous Measurement of Vibration, Temperature, and Verticality
Recognition, Processing, and Detection of Sensor Fault Signal Based on Genetic Algorithm
Study on Measurement and Drivers of Inclusive Green Efficiency in China
Structural Health Monitoring of Wind Turbine Blades: Acoustic Source Localization Using Wireless Sensor Networks
Detection of Stress Hormone in the Milk for Animal Welfare Using QCM Method
Reliability Assessment for PSC Box-Girder Bridges Based on SHM Strain Measurements
A Pressure-Based Electromagnetic Energy Harvester for Pipeline Monitoring Applications
Review of the Strain Modulation Methods Used in Fiber Bragg Grating Sensors
Quartz Crystal Microbalance as a Sensor to Characterize Macromolecular Assembly Dynamics
Effect Analysis of Language Education Based on Computer and Network Sensors
Multilevel Modeling of Distributed Denial of Service Attacks in Wireless Sensor Networks
Sensing of Tooth Microleakage Based on Dental Optical Coherence Tomography
Application of Distributed Optical Fiber Sensing Technique in Monitoring the Ground Deformation
Wearable Modular Telemetry System for the Integrated Rescue System Operational Use
Corrigendum to "Enhanced Measurement of Paper Basis Weight Using Phase Shift in Terahertz Time-Domain Spectroscopy"
Novel UV Sensing and Photocatalytic Properties of DyCoO 3
A Disposable Copper (II) Ion Biosensor Based on Self-Assembly of L-Cysteine on Gold Nanoparticle-Modified Screen-Printed Carbon Electrode
Embedded Estimation Sequential Bayes Parameter Inference for the Ricker Dynamical System
Fibre Tip Sensor with Embedded FBG-LPG for Temperature and Refractive Index Determination by means of the Simple Measurement of the FBG Characteristics
An Efficient Fingertip Photoplethysmographic Signal Artifact Detection Method: A Machine Learning Approach
RS and GIS Supported Urban LULC and UHI Change Simulation and Assessment
Data Reliability Analysis of Wireless Sensor Nodes considering Perturbation
Optimum Design of Organic Electrochemical Type Transistors for Applications in Biochemical Sensing
The State-of-the-Art of Knowledge-Intensive Agriculture: A Review on Applied Sensing Systems and Data Analytics
Wireless Passive High-Temperature Sensor Readout System for Rotational-Speed Measurement
Improving Accuracy in the Readout of Resistive Sensor Arrays
Design of an Automatic English Pronunciation Error Correction System Based on Radio Magnetic Pronunciation Recording Devices
Improved Q -Learning Method for Multirobot Formation and Path Planning with Concave Obstacles
Digital Media Art Communication Based on Wireless Cooperative Routing with Minimum Energy Consumption
Function Extraction Based on CFPS and Digital Financial Index: Data Mining Techniques for Prognosis of Operational Risks of Financial Institutions
Energy-Efficient Markov-Based Lifetime Enhancement Approach for Underwater Acoustic Sensor Network
Research on Recognition Method of Basketball Goals Based on Image Analysis of Computer Vision
A MAC Protocol of Concurrent Scheduling Based on Spatial-Temporal Uncertainty for Underwater Sensor Networks
A Review of Underwater Localization Techniques, Algorithms, and Challenges
Optimized Design of Mechanical Chain Drive Based on a Wireless Sensor Network Data Algorithm
Automated Waterline Detection in the Wadden Sea Using High-Resolution TerraSAR-X Images
Illumination Invariant Motion Detection and Tracking Using SMDWT and a Dense Disparity-Variance Method
A Highly Selective Colorimetric Sensor for Cysteine in Water Solution and Bovine Serum Albumin
Sports Event Level Measurement Indicator System Using Multisensor Information Fusion
Heterogeneous Gray-Temperature Fusion-Based Deep Learning Architecture for Far Infrared Small Target Detection
Bearing Faulty Prognostic Approach Based on Multiscale Feature Extraction and Attention Learning Mechanism
Prediction Approach of Critical Node Based on Multiple Attribute Decision Making for Opportunistic Sensor Networks
Camera Space Particle Filter for the Robust and Precise Indoor Localization of a Wheelchair
Advanced Fast Large Current Electronic Breaker Using Integration of Surge Current Suppression and Current Divider Sensing Methods
Wide Range Fiber Displacement Sensor Based on Bending Loss
Automatic Calibration Method for Airborne LiDAR Systems Based on Approximate Corresponding Points Model
Enhanced Ammonia Adsorption on Directly Deposited Nanofibrous Carbon Films
Wave Observations from Central California: SeaSonde Systems and In Situ Wave Buoys
Autonomous WiFi Sensor for Heating Systems in the Internet of Things
Stakeholders' Viewpoints toward Blockchain Integration within IoT-Based Smart Cities
A Mobile Sensing System for Urban PM 2.5 Monitoring with Adaptive Resolution
A Novel Seam Finding Method Using Downscaling and Cost for Image Stitching
Optimal Selection of the Cluster Head in Wireless Sensor Networks by Combining the Multiobjective Genetic Algorithm and the Gravitational Search Algorithm
Design Considerations When Accelerating an FPGA-Based Digital Microphone Array for Sound-Source Localization
The Registration of a Biomaser-Like Effect in an Enzyme System with an RTM Sensor
Research on Local Counting and Object Detection of Multiscale Crowds in Video Based on Time-Frequency Analysis
AC Dielectrophoresis Using Elliptic Electrode Geometry
Data Analysis of Athletes' Physiological Indexes in Training and Competition Based on Wireless Sensor Network
Dynamic Characteristics Analysis of the Six-Axis Force/Torque Sensor
Steering Acoustic Intensity Estimator Using a Single Acoustic Vector Hydrophone
An Astigmatic Detection System for Polymeric Cantilever-Based Sensors
An Improved Security Authentication Protocol for Lightweight RFID Based on ECC
Urbanization Detection Using LiDAR-Based Remote Sensing Images of Azad Kashmir Using Novel 3D CNNs
Model Design of Piezoelectric Micromachined Modal Gyroscope
Rapid and Reliable Calibration of Laser Beam Deflection System for Microcantilever-Based Sensor Setups
Decision Matrix Analysis of Impact Sounding Test Method to Determine Interlayer Condition of Concrete Bridge Deck
gPark: Vehicle Parking Management System Using Smart Glass
Nanocrystalline Metal Oxides for Methane Sensors: Role of Noble Metals
A System of Driving Fatigue Detection Based on Machine Vision and Its Application on Smart Device
Fringing Field Capacitive Smart Sensor Based on PCB Technology for Measuring Water Content in Paper Pulp
High-Sensitivity Multiband Detection Based on the Local Enhancement Effect of an Electric Field at Terahertz Frequency
An Improved Attitude Compensation Algorithm for SINS/GNS Integrated Navigation System
Multimode Intelligent Control Based on Multidata Fusion Filtering in High-Speed Train Traffic Signal and Control
Design and Analysis of a Smart Sensor-Based Early Warning Intervention Network for School Sports Bullying among Left-Behind Children
An Optical Fiber Liquid Level Sensor Based on Side Coupling Induction Technology
Toxicity Biosensor for Sodium Dodecyl Sulfate Using Immobilized Green Fluorescent Protein Expressing Escherichia coli
Optimized Design and Calibration of the Triaxis Induction Magnetometer with Crosstalk and Nonorthogonality Compensation
Research on Characteristics of Electrostatic Wear-Site and Oil-Line Sensor with Theoretical and Comprehensive Analysis
An Evaluation of Hand-Force Prediction Using Artificial Neural-Network Regression Models of Surface EMG Signals for Handwear Devices
Temperature Dependence of Sensors Based on Silver-Decorated Nitrogen-Doped Multiwalled Carbon Nanotubes
A Deep Learning Model for Concrete Dam Deformation Prediction Based on RS-LSTM
Structural Assembly Analysis of Concrete Buildings with Intelligent Finite Element Analysis
Tetrodotoxin Detection by a Surface Plasmon Resonance Sensor in Pufferfish Matrices and Urine
Ultrashort Long-Period Fiber Gratings Inscribed on a Single-Mode Fiber for Torsion Sensing Applications
Multidimensional Analysis and Evaluation of College English Teaching Quality Based on an Artificial Intelligence Model
A Novel Signal Detection Algorithm for Underwater MIMO-OFDM Systems Based on Generalized MMSE
Organic Membranes for Selectivity Enhancement of Metal Oxide Gas Sensors
Calibration of a Stereo Radiation Detection Camera Using Planar Homography
Reference-Free Displacement Estimation of Bridges Using Kalman Filter-Based Multimetric Data Fusion
One-Step Synthesis of the Nitrogen and Sulfur Codoped Carbon Dots for Detection of Lead and Copper Ions in Aqueous Solution
A Centralized Energy Efficient Distance Based Routing Protocol for Wireless Sensor Networks
Filtering Redundant Data from RFID Data Streams
Kinect Sensor-Based Long-Distance Hand Gesture Recognition and Fingertip Detection with Depth Information
An AtanTV Nonconvex Regularization Model for MRI Reconstruction
Design and Evaluation of a Fiber-Optic Grip Force Sensor with Compliant 3D-Printable Structure for (f)MRI Applications
Multimedia Analysis of Digital Museum User Interface Based on Goal-Oriented Theory and Information Fusion and Intelligent Sensing
Reversible Data Hiding for Encrypted 3D Model Based on Prediction Error Expansion
Performance Evaluation of Free-Space Fibre Optic Detection in a Lab-on-Chip for Microorganism
Sensor Fusion Basketball Shooting Posture Recognition System Based on CNN
Evaluation of a Reduced Cost Active NDVI Sensor for Crop Nutrient Management
Dance Movement Recognition Technology Based on Multifeature Information Fusion
Research on Working Memory States Based on Weighted K -Order Propagation Number Algorithm: An EEG Perspective
Acoustic Source Localization via Subspace Based Method Using Small Aperture MEMS Arrays
Computer Vision Estimation of the Volume and Weight of Apples by Using 3D Reconstruction and Noncontact Measuring Methods
Management of IoT Sensor Data Using a Fog Computing Node
An Efficient Data Collection Protocol Based on Multihop Routing and Single-Node Cooperation in Wireless Sensor Networks
Construction of Evaluation Model of Tennis Skills and Tactic Level and Application of Grey Relational Algorithm
Evaluation of the Degradation on a COTS Linear CCD Induced by Total Ionizing Dose Radiation Damage
Lateral Flow Immunoassay for Naked Eye Detection of Mycobacterium tuberculosis
Ceramic Shape Design Based on Intelligent Space Simulation Technology
Interactive Innovation Research on Film Animation Based on Maya-Unity Animation Simulation of Visual Sensor
An Ultra-Lightweight Encryption Scheme in Underwater Acoustic Networks
Study of Train-Side Passive Magnetic Measurements with Applications to Train Localization
3D Palmprint Recognition Using Dempster-Shafer Fusion Theory
BPSK Modulation-Based Local Oscillator-Free IQ Demodulation for Millimeter Wave Imaging
Real-Time Simulation Method of Flame Animation Based on the Deep Stripping Algorithm and Texture Mapping
PDMS-Based Capacitive Pressure Sensor for Flexible Transparent Electronics
An In-Vehicle Application Providing System Based on Driver's Biodata
The Effect of Exercise Training on the Detection of Heart Rate and Body Temperature Sensors in Adolescents
Research and Implementation of Sports Entity Simulation Based on Heterogeneous Binocular Vision
A Crowdsourcing Information Obtaining Scheme Aiming at Senior Netizens Based on Blockchain
Online Estimation of the Adhesion Coefficient and Its Derivative Based on the Cascading SMC Observer
The Application of the Vibration Absorber in Laser Inertial Navigation Products
Data Encryption Technology Analysis of Robot Computer Network Information
Solar Radiation Received by Slopes Using COMS Imagery, a Physically Based Radiation Model, and GLOBE
A Multichannel fNIRS System for Prefrontal Mental Task Classification with Dual-level Excitation and Deep Forest Algorithm
Neural Network-Based Laser Interferometer Compensation for Seismic Signal Detection
A Full-Duplex MIMO System Based on CP-Free OFDM in Sensor Network
Delay, Reliability, and Throughput Based QoS Profile: A MAC Layer Performance Optimization Mechanism for Biomedical Applications in Wireless Body Area Sensor Networks
Temperature Measurement Using Optical Fiber Methods: Overview and Evaluation
Review of Available Products of Leaf Area Index and Their Suitability over the Formerly Soviet Central Asia
NADH Oxidation onto Different Carbon-Based Sensors: Effect of Structure and Surface-Oxygenated Groups
Dynamic Multiscale Feature Fusion Method for Underwater Target Recognition
Intelligent Spraying Water Based on the Internet of Orchard Things and Fuzzy PID Algorithms
Context-Aware Mobile Sensors for Sensing Discrete Events in Smart Environment
Decision-Based Marginal Total Variation Diffusion for Impulsive Noise Removal in Color Images
A Lightweight Model for Traffic Sign Classification Based on Enhanced LeNet-5 Network
Performance Analysis of Network-RTK Techniques for Drone Navigation considering Ionospheric Conditions
Multifocus Color Image Fusion Based on NSST and PCNN
A Novel Saliency Detection Method for Wild Animal Monitoring Images with WMSN
Detail 3D Face Reconstruction Based on 3DMM and Displacement Map
Research on an Improved Method for Permanent Magnet Synchronous Motor
Multistandard Receiver Design for Telemedicine Monitoring System
Robust Relay in Narrow-Band Communications for Ubiquitous IoT Access
Target Recognition Algorithm Based on Optical Sensor Data Fusion
A Review on Key Issues and Challenges in Devices Level MEMS Testing
Detection and Tracking of Road Barrier Based on Radar and Vision Sensor Fusion
3D Simulation Landscape Design Based on Image Sensor
Geospatial Multicriteria Analysis for Earthquake Risk Assessment: Case Study of Fujairah City in the UAE
Restoration and Design of Ice Sculpture Structure following Multivision Sensor and Three-Dimensional Reconstruction Technology
Analysis of Vertical Distribution of Ozone in Winter and Its Transport from Stratosphere to Troposphere in the Pearl River Delta Region of China
Computer Vision-Based Detection for Delayed Fracture of Bolts in Steel Bridges
Application of the Electret in Alpha Radiation Sensor to Measure the Concentration of Radon in Selected Ambient Conditions
WDARS: A Weighted Data Aggregation Routing Strategy with Minimum Link Cost in Event-Driven WSNs
An Improved Triggering Updating Method of Interest Message with Adaptive Threshold Determination for Directed Diffusion Routing Protocol
Wearable Sensor and Its Application in Urban Landscape Design
Substance Misuse Decreases Heart Rate Variability
Development of Data Fusion Method Based on Topological Relationships Using IndoorGML Core Module
Trust Dynamics in WSNs: An Evolutionary Game-Theoretic Approach
Development of a Nondestructive Impulse Device and Damage Model for Unreinforced Concrete
Perceptual Feedback Mechanism Sensor Technology in e-Commerce IoT Application Research
Wheat Grain Yield Estimation Based on Image Morphological Properties and Wheat Biomass
Test of Ultimate Bearing Capacity of Building Concrete Structures in Earthquake Area Based on Virtual Reality
Adaptive Magnetic Anomaly Detection Method with Ensemble Empirical Mode Decomposition and Minimum Entropy Feature
Using Artificial Intelligence Techniques to Improve the Prediction of Copper Recovery by Leaching
Design of a Secure Wireless Home Automation System with an Open Home Automation Bus (OpenHAB 2) Framework
A Functionalized Paper Strip-Based Platform for Rapid Detection of Anticancer Drug Concentrations
Hybrid Wireless Sensor Network Coverage Holes Restoring Algorithm
Classification of Region of Interest in Mammograms Using Dual Contourlet Transform and Improved KNN
Analysis of Water Supply-Demand Based on Socioeconomic Efficiency
WSN Protocols and Security Challenges for Environmental Monitoring Applications: A Survey
T-S Fuzzy-Based Optimal Control for Minimally Invasive Robotic Surgery with Input Saturation
Energy-Spectral Efficiency Optimization in Wireless Underground Sensor Networks Using Salp Swarm Algorithm
Optimization of an Accelerometer and Gyroscope-Based Fall Detection Algorithm
Optimization Algorithm for Point Cloud Quality Enhancement Based on Statistical Filtering
A Step Length Estimation Model of Coefficient Self-Determined Based on Peak-Valley Detection
Synthesis of Nanowires by Spray Pyrolysis
Development of a Multifunctional Radiation Measurement System for the Rapid Radiological Characterization of a Decommissioned Nuclear Facility Site
Noninvasive Glucose Measurement Using Machine Learning and Neural Network Methods and Correlation with Heart Rate Variability
Evaluation of Low-Carbon Scientific and Technological Innovation-Economy-Environment of High Energy-Consuming Industries
A Stacked Deep Learning Approach for IoT Cyberattack Detection
Improvement of Accuracy in Flow Immunosensor System by Introduction of Poly -2-[3-(methacryloylamino)propylammonio]ethyl 3-aminopropyl Phosphate
Optimized Feature Extraction for Temperature-Modulated Gas Sensors
PKDIP: Efficient Public-Key-Based Data Integrity Protection for Wireless Image Sensors
A Fast Postprocessing Algorithm for the Overlapping Problem in Wafer Map Detection
Model-Checking Driven Design of QoS-Based Routing Protocol for Wireless Sensor Networks
Human Heart Pulse Wave Responses Measured Simultaneously at Several Sensor Placements by Two MR-Compatible Fibre Optic Methods
Locality and Hard SAT-Instances
Boosting SAT Solver Performance via a New Hybrid Approach
GhostQ
Translating Pseudo-Boolean Constraints into SAT
Satisfiability-based Set Membership Filters
QuBE7.0
Towards a Classification of Hamiltonian Cycles in the 6-Cube
March_dl: Adding Adaptive Heuristics and a New Branching Strategy
Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques
Resolution on Quantified Generalized Clause-sets.
A Note on the Use of Independent Sets for the k-SAT Problem
Conclusion to the Special Issue on Parallel SAT Solving
No Efficient Disjunction or Conjunction of Switch-Lists
Encoding Nested Boolean Functions as Quantified Boolean Formulas
Qute in the QBF Evaluation 2018
Preface to the Special Volume on the SAT 2005 Competitions and Evaluations
Preface to Special Issue on SAT/CP Integration
Report on SL-COMP 2014
Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems
The (D)QBF Preprocessor HQSpre - Underlying Theory and Its Implementation
PackUp: Tools for Package Upgradability Solving
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification
Disjoint DNF Tautologies with Conflict Bound Two
On Linear Resolution
An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas
Experiment design and administration for computer clusters for SAT-solvers (EDACC)
Successful SAT Encoding Techniques
The First Evaluation of Pseudo-Boolean Solvers (PB'05)
Controlling a Solver Execution with the runsolver Tool
Combining Adaptive and Dynamic Local Search for Satisfiability
A Switching Criterion for Intensification and Diversification in Local Search for SAT
ManySAT: a Parallel SAT Solver
TG-Pro: A SAT-based ATPG System
Pueblo: A Hybrid Pseudo-Boolean SAT Solver
Incorporating Clause Learning in Grid-Based Randomized SAT Solving
The SMT Competition 2015-2018
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure
Parallel SAT Solving using Bit-level Operations
Lazy Satisability Modulo Theories
Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT
The Riis Complexity Gap for QBF Resolution
An Abstract Decision Procedure for a Theory of Inductive Data Types
The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games
Cache Conscious Data Structures for Boolean Satisfiability Solvers
SAT Competition 2018
Editor's Introduction to the Special Volume on Application of Constraints to Formal Verification
The SAT 2005 Solver Competition on Random Instances
Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation
Deterministic Parallel DPLL
Sat4j 2.3.2: on the fly solver configuration System Description
Guest Editors Conclusion
The Complexity of Some Subclasses of Minimal Unsatis able Formulas
Backdoors into Two Occurrences
Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks
AQME'10
Hard satisfiable 3-SAT instances via autocorrelation