Results 311 to 320 of about 4,459,628 (347)
Some of the next articles are maybe not open access.
Symbolic Decision Procedures for QBF
2004Much recent work has gone into adapting techniques that were originally developed for SAT solving to QBF solving. In particular, QBF solvers are often based on SAT solvers. Most competitive QBF solvers are search-based. In this work we explore an alternative approach to QBF solving, based on symbolic quantifier elimination.
Guoqiang Pan, Moshe Y. Vardi
openaire +1 more source
On decision procedures for sentential logics
Studia Logica, 1991zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
The Hazards of Dukes: The Substantive Consequences of a Procedural Decision
, 2012N. Pedersen
semanticscholar +1 more source
A Model of Procedural Decision Making in the Presence of Risk
, 2002J. Dubra, Efe A. Ok
semanticscholar +1 more source
Juror motivations: applying procedural justice theory to juror decision making
Psychology, Crime and Law, 2021Stacey Politis +2 more
exaly
Decision Procedure for an Extension of WS1S
2001We define an extension of the weak monadic second-order logic of one successor (WS1S) with an infinite family of relations and show its decidability. Analogously to the decision procedure for WS1S, automata are used. But instead of using word automata, we use tree automata that accept or reject words.
openaire +1 more source