MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The SAT2002 competition." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

The SAT2002 Competition
by Laurent Simon, Daniel Le Berre, Faculté Jean Perrin, Edward A. Hirsch — 2002
…The SAT2002 Competition (preliminary draft) Laurent Simon http://www.lri.fr/~simon/ LRI, U…
Cited by 17 (2 self) – Add To MetaCart

Learning hard constraints in Max-SAT
by Josep Argelich, Felip Manyà — 2006 — In: CSCLP-2006. (2006) 1–12
… >24h >24h >24h Table 2. Industrial benchmarks from the SAT-2002 Competition. Time in seconds…
Cited by 3 (0 self) – Add To MetaCart

New Features of SAT’04 version of zChaff
by Zhaohui Fu, Yogesh Mahajan, Sharad Malik — 2004 — The International Conference on Theory and Applications of Satisfiability Testing
…,yogism,sharad}@(email omitted); Zchaff is an implementation of the well known Chaff algorithm [6]. It participated in the SAT 2002…
Cited by 4 (0 self) – Add To MetaCart

Aligning cnf- and equivalence-reasoning
by Marijn Heule, Hans Van Maaren — 2004 — In SAT
… instances from the Sat 2002 competition. Table 1 shows the required time to solve these families for various…
Cited by 8 (0 self) – Add To MetaCart

Evolutionary Computing for the Satisfiability Problem
by Jin-kao Hao, Frederic Lardeux, Frederic Saubion — 2003
…-to-now incomplete randomized solver presented to the SAT2002 competition [24]. 4.1 Experimental Conditions Due…
Cited by 1 (1 self) – Add To MetaCart

Effective Preprocessing with Hyper-Resolution and Equality Reduction
by Fahiem Bacchus, Jonathan Winter — 2003 — In SAT
… tree [2, 3]. In the 2002 SAT competition 2CLS+EQ displayed the best all around performance, being…
Cited by 42 (2 self) – Add To MetaCart

Zchaff2004: An efficient SAT solver
by Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik — 2004 — IN SAT (SELECTED PAPERS
… in the industrial and handmade instances categories in the SAT 2002 Competition[25] and as the Best Complete Solver…
Cited by 16 (0 self) – Add To MetaCart

A.: QBF reasoning on real–world instances
by Enrico Giunchiglia, Massimo Narizzano, O Tacchella — 2004 — In: Proc. of SAT. LNCS 3542
… best version of QUBE, and ZCHAFF, the winner of SAT 2002 competition [1] and one of the best solvers…
Cited by 4 (0 self) – Add To MetaCart

GrADSAT: A Parallel SAT Solver for the Grid
by Wahid Chrabakh, Rich Wolski — 2003
… in this category were solved by another solver during the SAT2002 competition [16]. Note that zChaff was crowed…
Cited by 8 (2 self) – Add To MetaCart

GrADSAT: A Parallel SAT Solver for the Grid
by Wahid Chrabakhand
… to sequential zChaff [1] from which the core ofour solver is derived. We use the SAT2002 [14, 15] benchmark…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB