Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
11	Instantiation and Pretending to be an SMT Solver with VAMPIRE ∗ Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3 Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Mathematical logic Logic Automated theorem proving Logic in computer science Formal methods Logic programming Predicate logic Satisfiability modulo theories Unification Solver Resolution
12	Using a SAT Solver as a Fast Decision Procedure for Propositional Logic in an LCF-style Theorem Prover Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:36 Theoretical computer science NP-complete problems Formal methods Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Isabelle Constructible universe LCF Mathematics (SAT -UNSAT)
13	A SAT-based Sudoku Solver Tjark Weber LPAR’05, December 3rd, 2005 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-11-29 11:04:14 Logic puzzles Sudoku Recreational mathematics Abstract strategy games NP-complete problems Mathematics Logic
14	Introduction Applications SMT Solver Use Algorithms Conclusion Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2012-01-31 09:21:20 Theoretical computer science Logic in computer science Formal methods Mathematics Electronic design automation NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Solver Formal verification Model checking SMT
15	Ocelot Rela%onal Logic in a Solver-Aided Language James Bornholt Emina Torlak Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Fiction Formal methods Military personnel Alloy Massachusetts Institute of Technology Z notation Revolver Ocelot Ocelot Digital subscriber line
16	A SAT-based Sudoku Solver Tjark Weber Club2, November 23rd, 2005 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-11-23 11:15:52 Logic puzzles Sudoku Recreational mathematics Abstract strategy games NP-complete problems Mathematics Logic
17	AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo Sylvain Conchon Mohamed Iguernlala Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Mathematical logic Logic Formal methods Alt-Ergo Electronic design automation Logic in computer science NP-complete problems Satisfiability modulo theories Axiom First-order logic Solver
18	A Write-Based Solver for SAT Modulo the Theory of Arrays Miquel Bofill Universitat de Girona Robert Nieuwenhuis Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2008-07-14 06:59:10 Theoretical computer science Logic in computer science Electronic design automation Formal methods NP-complete problems Mathematics Constraint programming Satisfiability modulo theories Boolean satisfiability problem Array data type Literal Matrix
19	Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions, volume Bof Department of Computer Science Series of Publications B, University of HelsinkiISBN6. Yet another Local S Add to Reading List Source URL: fmv.jku.at Language: English
20	User Documentation for cvodes, An ODE Solver with Sensitivity Analysis Capabilities Alan C. Hindmarsh Center for Applied Scientific Computing Lawrence Livermore National Laboratory Add to Reading List Source URL: computation.llnl.gov Language: English - Date: 2015-01-28 15:10:42