Works (3)
Updated: July 5th, 2023 16:00
2005 journal article
On SAT instance classes and a method for reliable performance experiments with SAT solvers
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 43(1-4), 1–34.
author keywords: satisfiability; conjunctive normal form; equivalence classes; experimental design; exponential and heavy-tail distributions; reliability function
TL;DR:
The proposed method not only provides a common platform for a systematic study and a reliable improvement of deterministic and stochastic SAT solvers alike but also supports the introduction and validation of new problem instance classes.
(via Semantic Scholar)
citeseerx.ist.psu.edu (repository)
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018
2004 chapter
A Local search sat solver using an effective switching strategy and an efficient unit propagation
In Theory and applications of satisfiability testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected revised papers (Vol. 2919, pp. 53–68). Berlin; New York: Springer.
Source: NC State University Libraries
Added: August 6, 2018
2002 journal article
New bounds on the barycenter heuristic for bipartite graph drawing
INFORMATION PROCESSING LETTERS, 82(6), 293–298.
author keywords: barycenter heuristic; performance ratio; graph drawing
TL;DR:
It is shown that the performance ratio for the barycenter heuristic is still Ω( n ) even for connected bipartite graphs, and a tight constant ratio is proved for the Barycenter Heuristic on bounded-degree graphs.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
11. Sustainable Cities and Communities
(Web of Science)
Sources: Web Of Science, NC State University Libraries
Added: August 6, 2018
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.
