default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 35

> Home > Journals > Journal of Automated Reasoning (JAR)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 35, Numbers 1-3, October 2005

- view
  authority control:
- export record
  dblp key:
  - journals/jar/GiunchigliaW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GiunchigliaW05
Enrico Giunchiglia, Toby Walsh:
Satisfiability in the Year 2005. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BhallaLSM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BhallaLSM05
Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva:
Heuristic-Based Backtracking Relaxation for Propositional Satisfiability. 3-24
- view
  authority control:
- export record
  dblp key:
  - journals/jar/PanV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PanV05
Guoqiang Pan, Moshe Y. Vardi:
Symbolic Techniques in Satisfiability Solving. 25-50
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AlekhnovichHI05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AlekhnovichHI05
Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson:
Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas. 51-72
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Szeider05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Szeider05
Stefan Szeider:
Backdoor Sets for DLL Subsolvers. 73-88
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Johannsen05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Johannsen05
Jan Johannsen:
The Complexity of Pure Literal Elimination. 89-95
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Thornton05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Thornton05
John Thornton:
Clause Weighting Local Search for SAT. 97-142
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FrischPDN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FrischPDN05
Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale:
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. 143-179
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BoufkhadDIS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BoufkhadDIS05
Yacine Boufkhad, Olivier Dubois, Yannet Interian, Bart Selman:
Regular Random k-SAT: Properties of Balanced Formulas. 181-200
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MeierS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MeierS05
Andreas Meier, Volker Sorge:
Applying SAT Solving in Classification of Finite Algebras. 201-235
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ArmandoCGM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ArmandoCGM05
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea:
The SAT-based Approach to Separation Logic. 237-263
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BozzanoBCJRSS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BozzanoBCJRSS05
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. 265-293

Volume 35, Number 4, November 2005

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BartheCDS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BartheCDS05
Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa:
Tool-Assisted Specification and Verification of Typed Low-Level Languages. 295-354
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BoyerLM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BoyerLM05
Robert S. Boyer, Wilfred J. Legato, Victor W. Marek:
Toward Automating the Discovery of Decreasing Measures. 355-371
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BarrettMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BarrettMS05
Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump:
Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005). 373-390
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Peltier05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Peltier05
Nicolas Peltier:
Some Techniques for Proving Termination of the Hyperresolution Calculus. 391-427
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Shah05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Shah05
Nimish Shah:
"Rippling: Meta-Level Guidance for Mathematical Reasoning, " by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland, Cambridge University Press, 2005. 429-431

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.