The SCEAS System
Navigation Menu

Journals in DBLP

J. Autom. Reasoning
2005, volume: 35, number: 1-3

  1. Enrico Giunchiglia, Toby Walsh
    Satisfiability in the Year 2005. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:1-2 [Journal]
  2. Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva
    Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:3-24 [Journal]
  3. Guoqiang Pan, Moshe Y. Vardi
    Symbolic Techniques in Satisfiability Solving. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:25-50 [Journal]
  4. Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson
    Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:51-72 [Journal]
  5. Stefan Szeider
    Backdoor Sets for DLL Subsolvers. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:73-88 [Journal]
  6. Jan Johannsen
    The Complexity of Pure Literal Elimination. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:89-95 [Journal]
  7. John Thornton
    Clause Weighting Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:97-142 [Journal]
  8. Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale
    Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:143-179 [Journal]
  9. Yacine Boufkhad, Olivier Dubois, Yannet Interian, Bart Selman
    Regular Random k-SAT: Properties of Balanced Formulas. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:181-200 [Journal]
  10. Andreas Meier, Volker Sorge
    Applying SAT Solving in Classification of Finite Algebras. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:201-235 [Journal]
  11. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
    The SAT-based Approach to Separation Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:237-263 [Journal]
  12. Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani
    MathSAT: Tight Integration of SAT and Mathematical Decision Procedures. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2005, v:35, n:1-3, pp:265-293 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002