Determinism in the Certification of UNSAT Proofs Xaviera Steele Tomer Libal American University of Paris

Source URL: pxtp.github.io

• Theoretical computer science
• Software engineering
• Mathematics
• Logic in computer science
• NP-complete problems
• Electronic design automation
• Formal methods
• Boolean algebra
• Prolog
• Logic programming
• Boolean satisfiability problem
• Sequent calculus

Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

Source URL: pighizzini.di.unimi.it

Trading Determinism for Time in Space Bounded Computations Vivek Anand T Kallampally1 and Raghunath Tewari2 1 2

Source URL: www.cse.iitk.ac.in

Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

Source URL: pighizzini.di.unimi.it

INWAGEN, PETER VAN, Lehrer on Determinism, Free Will, and Evidence , Philosophical Studies (Minneapolis), 23::Oct.) p.351 INWAGEN, PETER VAN, Lehrer on Determinism, Free Will, and Evidence , Philosophical Studies

Source URL: andrewmbailey.com

Simplifying transducers removing two-wayness and non-determinism Pierre-Alain Reynier LIF, Aix-Marseille Universit´e & CNRS Based on joint works with L Daviaud, E Filiot, O Gauwin, I Jecker,

Source URL: www.lsv.fr

Debug Determinism: The Sweet Spot for Replay-Based Debugging Cristian Zamfir1 , Gautam Altekar2 , George Candea1 , Ion Stoica2 EPFL, Switzerland1 and UC Berkeley2 Deterministic replay tools offer a compelling approach to

Source URL: dslab.epfl.ch

M PRA Munich Personal RePEc Archive Human capital in Qing China: economic determinism or a history of failed opportunities?

Source URL: www.basvanleeuwen.net

A Unified View of Monadic and Applicative Non-determinism Exequiel Rivas, Mauro Jaskelioff CIFASIS-CONICET Universidad Nacional de Rosario, Argentina

Source URL: www.fceia.unr.edu.ar

A First Look at Reproducibility and Non-Determinism in CMS Software and ROOT Data Peter Ivie, Charles Zheng, and Douglas Thain Technical Report TROctober 2016 Department of Computer Science and Engineering

Source URL: ccl.cse.nd.edu