default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 24

> 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 24, Numbers 1/2, February 2000

- view
  authority control:
- export record
  dblp key:
  - journals/jar/GentW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GentW00
Ian P. Gent, Toby Walsh:
Satisfiability in the Year 2000. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AbramoviciS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AbramoviciS00
Miron Abramovici, José T. de Sousa:
A SAT Solver Using Reconfigurable Hardware and Virtual Logic. 5-36
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KlerkMW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KlerkMW00
Etienne de Klerk, Hans van Maaren, Joost P. Warners:
Relaxations of the Satisfiability Problem Using Semidefinite Programming. 37-65
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GomesSCK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GomesSCK00
Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz:
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems. 67-100
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GrooteW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GrooteW00
Jan Friso Groote, Joost P. Warners:
The Propositional Formula Checker HeerHugo. 101-125
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Hirsch00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Hirsch00
Edward A. Hirsch:
SAT Local Search Algorithms: Worst-Case Study. 127-143
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KuchlinS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KuchlinS00
Wolfgang Küchlin, Carsten Sinz:
Proving Consistency Assertions for Automotive Product Data Management. 145-163
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MassacciM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MassacciM00
Fabio Massacci, Laura Marraro:
Logical Cryptanalysis as a SAT Problem. 165-203
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MillsT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MillsT00
Patrick Mills, Edward P. K. Tsang:
Guided Local Search for Solving SAT and Weighted MAX-SAT Problems. 205-223
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RishD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RishD00
Irina Rish, Rina Dechter:
Resolution versus Search: Two Strategies for SAT. 225-275
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ZhangS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ZhangS00
Hantao Zhang, Mark E. Stickel:
Implementing the Davis-Putnam Method. 277-296

Volume 24, Number 3, April 2000

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BalsigerHS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BalsigerHS00
Peter Balsiger, Alain Heuerding, Stefan Schwendimann:
A Benchmark Method for the Propositional Modal Logics K, KT, S4. 297-317
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Massacci00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Massacci00
Fabio Massacci:
Single Step Tableaux for Modal Logics. 319-364
- view
  authority control:
- export record
  dblp key:
  - journals/jar/PadmanabhanP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PadmanabhanP00
R. Padmanabhan, P. Penner:
A Hyperbase for Binary Lattice Hyperidentities. 365-370
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Sutcliffe00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Sutcliffe00
Geoff Sutcliffe:
The CADE-16 ATP System Competition. 371-396

Volume 24, Number 4, May 2000

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Hirsch00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Hirsch00a
Edward A. Hirsch:
New Worst-Case Upper Bounds for SAT. 397-420
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HoosS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HoosS00
Holger H. Hoos, Thomas Stützle:
Local Search Algorithms for SAT: An Empirical Evaluation. 421-481
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RichardsR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RichardsR00
E. Thomas Richards, Barry Richards:
Nonsystematic Search and No-Good Learning. 483-533

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.