Journal on Satisfiability, Boolean Modeling and Computation

Share this journal
Journal on Satisfiability, Boolean Modeling and Computation
Institutional subscription for 2016 (print only) €505 / US$696 Excluding VAT

*This is an Open Access journal*

The Journal on Satisfiability, Boolean Modeling and Computation (JSAT) is a peer reviewed international journal, publishing high quality, original research papers and survey papers, which evidently contribute to deeper insight.

The scope of JSAT is propositional reasoning, modeling and computation. The Satisfiability discipline is a central focus of JSAT. JSAT welcomes all sorts of contributions to this theme but also encourages authors to submit papers on related topics as Computational Logic, Constraint Programming, Satisfiability Modulo Theories, Quantified Boolean Logic, Pseudo Boolean Methods, zero-one Programming, Integer Programming and Operations Research, whenever the link to Satisfiability is apparent.

John Franco
Department of Electrical Engineering
Computer Engineering and Computer Science
University of Cincinnati
Cincinnati, OH 45221-0030

Founding Editor
Hans van Maaren
TU Delft, The Netherlands

Associate Editors 
Oliver Kullmann
Computer Science Department
Swansea University
Singleton Park, Faraday Building
Swansea SA2 8PP
United Kingdom

Marijn Heule
Department of Software Technology
Faculty of Engineering, Mathematics and Computer Science (EWI)
TU Delft
Mekelweg 4
2628 CD Delft
The Netherlands

Roberto Sebastiani
Department of Information and Communication Technologies
University of Trento
Via Sommarive 14
Povo I-38050 Trento

Editorial Board
Dimitris Achlioptas
University of California at Santa Cruz
Santa Cruz, CA, USA

Fahiem Bacchus
University of Toronto
Toronto, ON, Canada

Armin Biere
Johannes Kepler University
Linz, Austria

Endre Boros
Rutgers University
Piscataway, NJ, USA

Edmund Clarke
Carnegie Mellon University
Pittsburgh, PA, USA

Nadia Creignou
Mediterranian University
Marseille, France

Olivier Dubois
University of Paris 6
Paris, France

John Franco
University of Cincinnati
Cincinnati, OH, USA

Nicola Galesi
'La Sapienza' University Rome
Rome, Italy

Enrico Giunchiglia
University of Genoa
Genoa, Italy

Andreas Goerdt
Technical University of Chemnitz
Chemnitz, Germany

Carla Gomes
Cornell University
Ithica, NY, USA

Edward A. Hirsch
Steklov Institute of Mathematics at St. Petersburg
St. Petersburg, Russia

Holger H. Hoos
University of British Columbia
Vancouver, BC, Canada

Kazuo Iwama
Kyoto University
Kyoto, Japan

Henry Kautz
University of Washington
Seattle, WA, USA

Lefteris Kirousis
University of Patras
Patras, Greece

Hans Kleine Büning
University of Paderborn
Paderborn, Germany

Daniel Le Berre
Artois University
Arras, France

Chu Min Li
University of Picardie Jules Verne
Amiens, France

Sharad Malik
Princeton University
Princeton, NJ, USA

Joao Marques-Silva
University of Southampton
Southampton, United Kingdom

David Mitchell
Simon Fraser University
Burnaby, BC, Canada

Remi Monasson
Ens Laboratory of Theoretical Physics
Paris, France

Steve Prestwich
University College Cork
Cork, Ireland

Daniele Pretolani
University of Modena and Reggio Emilia
Modena, Italy

Paul Purdom
Indiana University
Bloomington, IN, USA

Karem Sakallah
University of Michigan
Ann Arbor, MI, USA

Uwe Schöning
Ulm University
Ulm, Germany

Roberto Sebastiani
Universiy of Trento
Povo, Italy

Bart Selman
Cornell University
Ithaca, NY, USA

Laurent Simon
Paris South University
Orsay, France

Ewald Speckenmeyer
University of Cologne
Cologne, Germany

Ofer Strichman
William Davidson Faculty of Industrial Engineering and Management
Technion - Israel Institute of Technology
Technion City, Haifa 32000

Allen Van Gelder
University of California at Santa Cruz
Santa Cruz, CA, USA

Hans Van Maaren
Delft University of Technology
Delft, The Netherlands

Miroslav Velev
Aries Design Automation
Chicago, IL, USA

Hantao Zhang
University of Iowa
Iowa City, IA, USA

Xishun Zhao
Sun Yat-Sen University Guangzhou
Guangzhou, China

See instructions to authors.

ACM Digital Library
Cabell's Guide or Directory
CSA Illumina
DBLP Bibliography Server
Google Scholar
Zentralblatt MATH