Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
661	2003 Workshop on Compact Modeling Unified RLC Model for On-Chip Interconnects Sang-Pil Sim and Cary Y. Yang Microelectronics Lab., Santa Clara University, CA, Add to Reading List Source URL: www.nsti.org Language: English - Date: 2010-03-19 15:29:00 Electronic design automation Integrated circuits Capacitance Electricity Electromagnetic field solver Parasitic extraction Electromagnetism Electronic engineering Electronics
662	A finite-valued solver for disjunctive fuzzy answer set programs Mushthofa Mushthofa 1 and Steven Schockaert 2 and Martine De Cock1 3 Abstract. Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm wh Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2014-06-24 13:12:00 Logic in computer science Logic programming Boolean algebra Artificial intelligence Non-classical logic Answer set programming Stable model semantics Fuzzy logic Propositional calculus Theoretical computer science Mathematical logic Logic
663	Efield 6.0 FDTD Performance and Scalability •The Efield 6.0 FDTD solver introduces a number of improvements for high-performance computing Add to Reading List Source URL: www.ctsystemes.com Language: English - Date: 2011-12-08 06:37:50 Electrodynamics Electromagnetism Finite-difference time-domain method Logic simulation Parallel computing Electronic engineering Physics Computational science
664	Journal on Satisfiability, Boolean Modeling and Computation[removed]The Sat4j library, release 2.2 system description Daniel Le Berre∗ Anne Parrain Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2010-07-09 05:53:23 Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Solver Satz ECLiPSe Unsatisfiable core Theoretical computer science Applied mathematics Constraint programming
665	Masterclass Modelling with Constraints Part 1: Introduction Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 10:09:14 Software engineering Constraint satisfaction Mathematical optimization Boolean satisfiability problem Solver Answer set programming Constraint Constraint logic programming AC-3 algorithm Constraint programming Declarative programming Theoretical computer science
666	ｽﾗｲﾄﾞﾀｲﾄﾙなし Add to Reading List Source URL: www.ssisc.org Language: English - Date: 2008-11-12 03:54:53 Mathematics Numerical software Lis Preconditioner Lanczos algorithm Generalized minimal residual method Solver Iteration Iterative method Numerical linear algebra Numerical analysis Software
667	IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES, VOL. 3, NO. 3, SEPTEMBER[removed]Answer Set Programming for Procedural Content Generation: A Design Space Approach Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:47 Programming paradigms Logic programming Constraint programming Operations research NP-complete problems Answer set programming Maze Boolean satisfiability problem Solver Software engineering Theoretical computer science Computing
668	Appl Intell[removed]:183–195 DOI[removed]s10489[removed]y Genetic operators for combinatorial optimization in TSP and microarray gene ordering Shubhra Sankar Ray · Sanghamitra Bandyopadhyay · Add to Reading List Source URL: shubhrasankar.tripod.com Language: English - Date: 2010-02-25 01:56:48 Genetic algorithms Microarrays Operations research Travelling salesman problem NP-complete problems Concorde TSP Solver Crossover DNA microarray Tabu search Theoretical computer science Applied mathematics Mathematics
669	TSP – Infrastructure for the Traveling Salesperson Problem Michael Hahsler Kurt Hornik Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 10:37:25 Travelling salesman problem NP-complete problems Operations research Combinatorial optimization Approximation algorithms Nearest neighbour algorithm Concorde TSP Solver Lin–Kernighan heuristic Heuristic function Theoretical computer science Mathematics Applied mathematics
670	UNIVERSITÉ PARIS-SUD ÉCOLE DOCTORALE D’INFORMATIQUE Laboratoire de Recherche en Informatique tel[removed], version[removed]Jul 2013 Add to Reading List Source URL: tel.archives-ouvertes.fr Language: English - Date: 2013-11-29 11:48:07 Operations research Numerical software Convex optimization Linear programming Decision problem Solver Algorithm Modulo Mathematics Theoretical computer science Applied mathematics

UPDATE