Volume 43, Number 1, January 2005
export record as
dblp key:
export record as
dblp key:
Renato Bruni :
On exact selection of minimally unsatisfiable subformulae.
35-50
export record as
dblp key:
journals/amai/ChapdelaineC05 export record as
dblp key:
Eugene Goldberg :
Testing satisfiability of CNF formulas by computing a stable set of points.
65-89
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Gábor Kusper :
Solving the resolution-free SAT problem by submodel propagation in linear time.
129-136
export record as
dblp key:
export record as
dblp key:
Simona Cocco ,
Rémi Monasson :
Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT.
153-172
export record as
dblp key:
journals/amai/PorschenRS05 export record as
dblp key:
journals/amai/PrestwichB05 export record as
dblp key:
journals/amai/Pretolani05 Daniele Pretolani :
Probability logic and optimization SAT: The PSAT and CPA models.
211-221
export record as
dblp key:
export record as
dblp key:
Allen Van Gelder :
Toward leaner binary-clause reasoning in a satisfiability solver.
239-253
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
