Local Search Characteristics of Incomplete SAT Procedures

Artificial Intelligence - Netherlands
doi 10.1016/s0004-3702(01)00151-5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Local Search for Distributed SAT With Complex Local Problems

2002English

Local Search for Distributed SAT With Complex Local Problems

2002English

Generating SAT Local-Search Heuristics Using a GP Hyper-Heuristic Framework

English

Scheduling Search Procedures: The Wheel of Fortune

Journal of Scheduling
Management ScienceEngineeringOperations ResearchArtificial IntelligenceSoftware
2006English

Visual Search Behaviour During Laparoscopic Cadaveric Procedures

2014English

Local Anaesthesia in Plastic Surgery Procedures

IOSR Journal of Nursing and Health Science
2017English

Finding Suitable Programs: Semantic Search With Incomplete and Lightweight Specifications

2012English

On the Complexity of Local Search

1990English

Set Variables and Local Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy