Introducing Circa: A Dataflow-Based Language for Live Coding Andrew Fischer Shutterfly, USA Phoenix, AZ USA

Source URL: liveprogramming.github.io

• Control flow
• Human communication
• Humanmachine interaction
• User interface
• Virtual reality
• Dataflow programming
• Dataflow
• Feedback
• Futures and promises
• Eval
• Algorithm
• TK Solver

Fifth Competition of Pseudo-Boolean Solvers (PB’10) Call for Solvers and Benchmarks http://www.cril.univ-artois.fr/PB10/ G OAL Like the previous competitions (PB05, PB06, PB07 and PB09), the goal is to assess the state

Source URL: www.cril.univ-artois.fr

• Logic in computer science
• Combinatorial optimization
• Operations research
• Numerical software
• Maximum satisfiability problem
• Constraint satisfaction
• Mathematical optimization
• Solver
• Satisfiability
• Integer programming
• Constraint
• Boolean satisfiability problem

Verifolio:)A)Portfolio)for Software)Verification Yulia Demyanova,.Thomas) Pani, Helmut.Veith,.Florian.Zuleger Vienna.University.of.Technology AI4FM.2015.D.September. 1,.2015

Source URL: www.ai4fm.org

• Software
• Theoretical computer science
• Numerical software
• BLAST model checker
• CPAchecker
• Solver
• Blast
• Formal methods
• Logic in computer science

EESy Solutions Engineering Equation Solver Newsletter Welcome This is the 19th issue of EESy Solutions, a newsletter developed to provide news, tips, and

Source URL: www.fchart.com

Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

Source URL: www.verit-solver.org

An Open Boundary Safety-of-Territory Solver for the Game of Go Xiaozhen Niu and Martin M¨uller Department of Computing Science, University of Alberta, Edmonton, Canada, T6G 2E8 {xiaozhen, mmueller}@cs.ualberta.ca

Source URL: webdocs.cs.ualberta.ca

1 Under consideration for publication in Theory and Practice of Logic Programming claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

Source URL: www.cs.uni-potsdam.de

• Machine learning
• Algorithm Selection
• Answer set programming
• Solver
• Feature selection
• Algorithm
• K-nearest neighbors algorithm
• K-means clustering
• Problem solving
• Branch and bound

veriT: an open, trustable and efficient SMT-solver Thomas Bouton2 , Diego Caminha B. de Oliveira2 , David D´eharbe1 , and Pascal Fontaine2 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

Source URL: www.montefiore.ulg.ac.be

EESy Solutions Engineering Equation Solver Newsletter No. 8, Fall, 1999 Welcome

Source URL: www.fchart.com

Sparsifying Synchronization for High-Performance Shared-Memory Sparse Triangular Solver Jongsoo Park, Mikhail Smelyanskiy, Narayanan Sundaram, and Pradeep Dubey Parallel Computing Lab, Intel Corporation

Source URL: pcl.intel-research.net