Statistics
Publications
263
Citations
3K
Authors
9
Location
Arlington, United States
263
Using CSP look-back techniques to solve real-world SAT instances
Roberto J. Bayardo, Robert Schrag · 1997 · 598 citations
1–5 of 263
9
Information Extraction & Transport (United States), United States
25 publications · 657 citations
12
h-index
Information Extraction & Transport (United States), United States
22 publications · 232 citations
9
h-index
Information Extraction & Transport (United States), United States
17 publications · 187 citations
6
h-index
Information Extraction & Transport (United States), United States
18 publications · 68 citations
5
h-index
Information Extraction & Transport (United States), United States
9 publications · 62 citations
5
h-index
1–5 of 9