Work

Simple algorithm portfolio for SAT

Year: 2011

Type: article

Source: Artificial Intelligence Review

DOI: 10.1007/s10462-011-9290-2

Authors: Mladen Nikolić, Filip Marić, Predrag Janičić

Institution: University of Belgrade

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung, Serbian Academy of Sciences and Arts, Science and Engineering Research Board

Awards: G4765615378, Decision Procedures: from Formalizations to Applications

OpenAlex ID: W2081131942

FWCI: 0.714

Cites: 19

Cited by: 30

Related to: 10