Work

Algorithms for SAT Based on Search in Hamming Balls

Year: 2004

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-540-24749-4_13

Authors: Evgeny Dantsin, Edward A. Hirsch, Alexander Wolpert

Institutions: Roosevelt University, Steklov Mathematical Institute

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W13796393

FWCI: 4.274

Cites: 13

Cited by: 33

Related to: 10