Works (3)

Updated: July 5th, 2023 16:00

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.

By: X. Li, M. Stallmann & F. Brglez

Source: NC State University Libraries
Added: August 6, 2018

2004 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.

By: F. Brglez n, X. Li n & M. Stallmann n

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)
Sources: Web Of Science, 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.

By: X. Li n & M. Stallmann n

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)
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.