Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Finnegan Southey
Local Search Characteristics of Incomplete SAT Procedures
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Related publications
Local Search for Distributed SAT With Complex Local Problems
Local Search for Distributed SAT With Complex Local Problems
Generating SAT Local-Search Heuristics Using a GP Hyper-Heuristic Framework
Scheduling Search Procedures: The Wheel of Fortune
Journal of Scheduling
Management Science
Engineering
Operations Research
Artificial Intelligence
Software
Visual Search Behaviour During Laparoscopic Cadaveric Procedures
Local Anaesthesia in Plastic Surgery Procedures
IOSR Journal of Nursing and Health Science
Finding Suitable Programs: Semantic Search With Incomplete and Lightweight Specifications
On the Complexity of Local Search
Set Variables and Local Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
