Sage Journals: Discover world-class research

Retricted access

Other

First published 2011-2

Max-SAT formalisms with hard and soft constraints

Josep Argelich

The European Journal on Artificial Intelligence

Open access

Research article

First published 2014-6

Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages

Frédéric Lafitte, Jorge Nakahara, Dirk Van Heule

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2008-5

SAT-based Unbounded Model Checking of Timed Automata

Wojciech Penczek, Maciej Szreter

Fundamenta Informaticae

Retricted access

Research article

First published 2007-05

The Whole Truth and Nothing But The Truth?

Tonika Duren Green, Lisa Bischoff, Christy L. Coleman [...]

Journal of Black Studies

Retricted access

Research article

First published 2019-05

Sphk1/S1P/S1PR1 Signaling is Involved in the Development of Autoimmune Thyroiditis in Patients and NOD.H-2 h4 Mice

Cheng Han, Xue He, Xinghai Xia [...]

Thyroid®

Open access

Case report

First published 2014-2

Stakeholders' Arguments for and against Moving Swedish Substance abuse Treatment to the Health Care System: How a Fat Reform Proposal became a Thin Government Bill

Jessica Storbjörk

Nordic Studies on Alcohol and Drugs

Free access

Research article

First published 2013-10

Comparison between ultrasound-guided sciatic–femoral nerve block and unilateral spinal anaesthesia for outpatient knee arthroscopy

Isil Davarci, Kasim Tuzcu, Murat Karcioglu [...]

Journal of International Medical Research

Open access

Research article

First published 2008-2

SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results

Sriyankar Acharyya

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2018-5

Visual Occlusion Decreases Motion Sickness in a Flight Simulator

Shaziela Ishak, Andrea Bubka, Frederick Bonato

Perception

Retricted access

Research article

First published 2020-10

An Efficient Algorithm for Dynamic Pricing Using a Graphical Representation

Maxime C. Cohen, Swati Gupta, Jeremy J. Kalas [...]

Production and Operations Management

Search results