Decision procedures : an algorithmic point of view /

Decision procedures : an algorithmic point of view /

PSZJBL

Bibliographic Details
Main Authors:	483434 Kroening, Daniel, Strichman, Ofer
Format:
Language:	eng
Published:	Berlin : Springer, c200
Subjects:	Decision making Algorithms Propositional calculus

Similar Items

Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings /
by: SAT 2007 (2007 : Lisbon, Portugal), et al.
Published: (2007)

Decision Procedures – an Algorithmic Point of View
by: Kroening, D, et al.
Published: (2008)

Non-classical propositional calculi
by: McCall, S, et al.
Published: (1964)

Propositional and predicate calculus : a model of argument /
by: 244860 Goldrei, Derek
Published: (2005)

Proposal of Multicriteria Decision-Making Models for Biogas Production
by: Daniela M. Yamaji, et al.
Published: (2024-02-01)

Elementary set theory : proof techniques proof techniques /
by: 365632 Gordon, Carl E., et al.
Published: (1975)

Mathematical logic /
by: 349455 Ponasse, Daniel
Published: (1973)

Residuated Basic Logic
by: Zhe Lin, et al.
Published: (2023-10-01)

Saving the Traditional View of Contents From the Messy Shopper and His Crazy and Amnesiac Acolytes
by: Jakub Rudnicki
Published: (2024-10-01)

Digital Twin Providing New Opportunities for Value Co-Creation through Supporting Decision-Making
by: Shaun West, et al.
Published: (2021-04-01)

LEGAL PROPOSITION STRUCTURE AND PRIMARY LEGAL MEANS: ISSUES OF CORRELATION
by: A. I. Ilalutdinov
Published: (2012-03-01)

Simplification of Administrative Procedures through Fully Automated Decision-Making: The Case of Norway
by: Emily M. Weitzenboeck
Published: (2021-12-01)

Making hard decisions with decision tools /
by: 313142 Clemen, Robert T., et al.
Published: (2001)

Making hard decisions with DecisionTools /
by: Clemen, Robert T. (Robert Taylor), 1952-, et al.
Published: (c201)

Improving multi-criteria decision making algorithm for material selection
by: Jahan, Ali
Published: (2011)

Making hard decisions with decision tools / [cakera padat]
by: 313142 Clemen, Robert T., et al.
Published: (2000)

Modern decision making : a guide to modeling with decision support systems /
by: 333499 Bodily, Samuel E.
Published: (1985)

Yes or no: the guide to better decisions /
by: 287867 Johnson, Spencer
Published: (1992)

Calculus : from graphical, numerical, and symbolic points of view /
by: 176190 Ostebee, Arnold, et al.
Published: (1997)

Advances in cross-cultural decision making /
by: Schmorrow, Dylan, 1967-, et al.
Published: (2011)

Fuzzy multicriteria decision-making : models, methods and applications /
by: Pedrycz, Witold, 1953-, et al.
Published: (2011)

Schema Complexity in Propositional-Based Logics
by: Jaime Ramos, et al.
Published: (2021-10-01)

Strategic decision making : applying the analytic hierarchy process /
by: Bhushan, Navneet, 1966-, et al.
Published: (c200)

Multiple criteria decision making : theory and approach /
by: International Conference on Multiple Criteria Decision Making (3rd : 1979 : Hagen and Konigswinter), et al.
Published: (1980)

The art of decision making : mirrors of imagination, masks of fate /
by: 227291 Drummond, Helga
Published: (2001)

TRUST, AUTOMATION BIAS AND AVERSION: ALGORITHMIC DECISION-MAKING IN THE CONTEXT OF CREDIT SCORING
by: Rita Gsenger, et al.
Published: (2021-12-01)

Encyclopedia of psychology of decision making /
by: Murphy, Denis, 1964-, et al.
Published: (2009)

Spreadsheet Modeling and Decision Analysis: A PRACTICAL INTRODUCTION TO BUSINESS ANALYTICS /
by: Ragsdale, Cliff T., author 517765
Published: (2022)

Management decision and decision analysis /
by: 222318 Eden, Colin, et al.
Published: (1975)

The pythagorean proposition : its demostrations, analysed../
by: 287820 Loomis, Elisha Scott
Published: (1968)

Team members’ direct participation in decision-making processes and the quality of decisions
by: Ryszard Rutka, et al.
Published: (2023-01-01)

Decisions, decisions : a practical management guide to problem solving and decision making /
by: 333111 Leigh, Andrew
Published: (1983)

Decision making : proven methods for better decisions /
by: 222493 Moody, Paul E.
Published: (1983)

Making hard decisions : an introduction to decision analysis /
by: 313142 Clemen, Robert T.
Published: (1991)

Economic decision analysis /
by: Fabrycky, W. J. (Wolter J.), 1932-, et al.
Published: (1980)

Simulation-based algorithms for Markov decision processes /
by: Chang, Hyeong Soo
Published: (2007)

Decision making /
by: 266049 Fitzgerald, Stephen P.
Published: (2002)

The right decision /
by: 364785 Stein, James
Published: (2010)

Making decisions : how to develop the skills that make for good decisions /
by: 215320 Juniper, Dean
Published: (1998)

Decisively me : a guide to effective decision-making /
by: 448286 Manthei, Marjorie
Published: (1990)