Search results for "solving"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Jean-François Dufourd, Pascal Mathis, Pascal Schreck	Formal Resolution of Geometrical Constraint Systems by Assembling.	Symposium on Solid Modeling and Applications	1997	DBLP DOI BibTeX RDF	assembling of figures, geometric formal construction, local solving, system of geometric constraints, multi-agent system, computer-aided design, blackboard
11	William S. Havens	Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	intelligent backtracking, multiagent systems, distributed constraint satisfaction, cooperative problem solving
11	Éric Monfroy, Michaël Rusinowitch, René Schott	Implementing non-linear constraints with cooperative solvers.	SAC	1996	DBLP DOI BibTeX RDF	non-linear constraint, integration, cooperation, constraint solving
11	Bjarne Steensgaard	Points-to Analysis by Type Inference of Programs with Structures and Unions.	CC	1996	DBLP DOI BibTeX RDF	interprocedural program analysis, non-standard types, constraint solving, points-to analysis, C programs
11	William M. Waite	Compiler Construction: Craftmanship or Engineering?	CC	1996	DBLP DOI BibTeX RDF	complexity, formal methods, modularity, Problem solving, reusability
11	Mounir Hamdi, Siang W. Song	On Embedding Various Networks into the Hypercube Using Matrix Transformations.	IPPS	1996	DBLP DOI BibTeX RDF	matrix transformations, binary n-cube, r-ary m-cubes, reflected Gray code, parallel algorithms, parallel algorithms, parallel architectures, hypercube, problem solving, hypercube networks, matrix algebra, dilation, Gray codes, divide and conquer methods, embedding method, divide-and-conquer algorithms
11	Rainer Bacher	Automatic Generation of Optimization Code Based on Symbolic Non-Linear Domain Formulation.	ISSAC	1996	DBLP DOI BibTeX RDF	automatic optimization code generation, electric power system optimal power flow, structured optimization problem, Maple, domain engineering, problem solving environment, network optimization, non-linear optimization
11	Richard Gerber 0001, Seongsoo Hong, Manas Saksena	Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	end-to-end timing constraints, Real-time, design methodology, constraint solving, non-linear optimization, static priority scheduling
11	Toru Ishida 0001, Yutaka Sasaki, Keiko Nakata 0002, Yoshimi Fukuhara	A Meta-Level Control Architecture for Production Systems.	IEEE Trans. Knowl. Data Eng.	1995	DBLP DOI BibTeX RDF	meta-level control, Expert system, problem solving, production system, production rule
11	Toru Ishida 0001, Richard E. Korf	Moving-Target Search: A Real-Time Search for Changing Goals.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	real-time, learning, Search, problem solving, commitment, reactiveness, deliberation, moving target
11	Steve A. Chien, Jonathan Gratch, Michael C. Burl	On the Efficient Allocation of Resources for Hypothesis Evaluation: A Statistical Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	the utility problem, adaptive problem-solving, Machine learning, parameter estimation, planning and scheduling
11	Maria Alberta Alberti, Eric Bastioli, Daniele Marini	Towards object-oriented modelling of euclidean geometry.	Vis. Comput.	1995	DBLP DOI BibTeX RDF	Geometric constructions, Constraint solving, Euclidean geometry, Object-oriented graphics
11	Benjamin W. Wah, Arthur Ieumwananonthachai, Shu Yao, Ting Yu	Statistical generalization: theory and applications.	ICCD	1995	DBLP DOI BibTeX RDF	statistical generalization, multiple statistical distributions, probability of win, problem solving, maximum likelihood estimation, maximum likelihood estimate, Bayes methods, heuristic programming, interval analysis, heuristic methods, Bayesian analysis, blind equalization, branch-and-bound search
11	David G. Hendry	Display-Based Problems in Spreadsheets: A Critical Incident and a Design Remedy.	VL	1995	DBLP DOI BibTeX RDF	display-based problems, design remedy, discretionary user, grid partitioning, arithmetic series, block function, progressional computation, tabular displays, cell referencing, usability, user interfaces, human factors, human factors, visual programming, visual programming, problem solving, functions, programming by demonstration, failure, spreadsheets, interaction style, expressive power, computer displays, spreadsheet programs, critical incident, series (mathematics), cognitive dimensions
11	Robert L. Glass	From Wonderland to the Real Problem.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	software crisis, breakthrough solutions, software engineering, software development, managers, problem solving, DP management, practitioners
11	Jürgen Herrmann, Reiner Ackermann, Jörg Peters 0003, Detlef Reipa	A Multistrategy Learning System and Its Integration into an Interactive Floorplanning Tool.	ECML	1994	DBLP DOI BibTeX RDF	learning and problem solving, applications of machine learning, multistrategy learning
11	Babak Hamidzadeh, Shashi Shekhar	Specification and Analysis of Real-time Problem Solvers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time artificial intelligence, real-time problem, real-time AI problem solvers, DYNORAII, RTA*, real-time path planning problem, deadline compliance, response-time minimization, real-time systems, computational complexity, formal specification, formal specification, problem solving, path planning, average-case complexity
11	Goa Ji	Representing Inference Control by Hypothesis-Based Association.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	planning level, performing level, inference tactics, representation system hypothesis-based associative representation, HAR, functional architecture, hypothesis-based associative networks, block-world action planning, least commitment strategy, knowledge representation, knowledge-based systems, knowledge based systems, inference mechanisms, inference control, AI techniques, problem solving strategies
11	Amit Basu	A Knowledge Representation Model for Multiuser Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	knowledge representation model, multiuser knowledge-based system, MKBS, largely autonomous user knowledge bases, multipole heterogeneous users, UKBs, rule translation, knowledge representation, knowledge based systems, problem solving, explanation, consistency maintenance, multi-access systems
11	Kai-Hsiung Chang, Hyungoo Han, William B. Day	A comparison of failure-handling approaches for planning systems - Replanning vs. recovery.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	fault-tolerant, agents, artificial intelligence, robotics, Planning, problem solving, actions, failure recovery
11	Chandrajit L. Bajaj, Malcolm C. Fields	The VAIDAK Medical Image Model Reconstruction Toolkit.	SAC	1993	DBLP DOI BibTeX RDF	bio-medical computing, image processing, geometric modeling, computational science, problem solving environments
11	Chandrajit L. Bajaj, Daniel Schikore	Distributed Design of Hip Prostheses with BHAUTIK.	SAC	1993	DBLP DOI BibTeX RDF	distributed systems, computational science, collaborative design, problem solving environments
11	Norbert Kuhn	Comparing rankings of heterogeneous agents.	COOCS	1993	DBLP DOI BibTeX RDF	task decomposition and task allocation, multi-agent systems, cooperative problem solving
11	Martin C. Emele, Ulrich Heid, Stefan Momma, Rémi Zajac	Interactions between linguistic constraints: Procedural vs. declarative approaches.	Mach. Transl.	1992	DBLP DOI BibTeX RDF	multilingual generation, typed feature terms, order-sorted unification, constraint solving
11	Janet L. Kolodner	An introduction to case-based reasoning.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	experience, problem-solving, Case-based reasoning
11	Ashwin Ram 0001, Lawrence Hunter	The use of explicit goals for knowledge to guide inference and learning.	Appl. Intell.	1992	DBLP DOI BibTeX RDF	Knowledge goals, diagnostic problem solving, learning, inference, natural language understanding
11	Yvonne Rogers	Ghosts in the Network: Distributed Troubleshooting in a Shared Working Environment.	CSCW	1992	DBLP DOI BibTeX RDF	ethnographic analysis, distributed problem-solving, networked technologies, breakdowns
11	Sharon Garber, Mitch B. Grunes	The Art of Search: A Study of Art Directors.	CHI	1992	DBLP DOI BibTeX RDF	visual problem solving, searching, navigation, user models, cognitive models, task analysis, user interface models
11	Koen Bertels, Philip Vanneste, Carlos De Backer	A Cognitive Model of Programming Knowledge for Procedural Languages.	ICCAL	1992	DBLP DOI BibTeX RDF	programming knowledge, human problem solving, knowledge based CAI-systems, cognitive model
11	A. Ovalle, Catherine Garbay	KIDS: A Distributed Expert System for Biomedical Image Interpretation.	IPMI	1991	DBLP DOI BibTeX RDF	High-level Modelling of Human Reasoning, Distributed Artificial Intelligence : Multi-Agent Design, Software Architecture for Computer-assisted Problem Solving, Human-Computer Interaction for Breast Cancer Cyto-Diagnosis
11	F. Zerr, Jean-Gabriel Ganascia	Integrating an Explanation-Based Learning Mechanism into a General Problem-Solver.	EWSL	1991	DBLP DOI BibTeX RDF	EBG, problem solving, production systems, Chunking, Explanation-based learning
11	Robert G. Reynolds, Jonathan I. Maletic, Stephen E. Porvin	PM: A System to Support the Automatic Acquisition of Programming Knowledge.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	partial metrics, code modules, hierarchically structured collection, object-oriented stepwise implementation, symbolic learning, frame-based encoding, problem-solving activities, sort module, software engineering, object-oriented programming, heuristic, knowledge acquisition, knowledge acquisition, aggregates, library, chunking, stepwise refinement, PM
11	Reid G. Smith	The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	high-level protocols, Artificial Intelligence (AI), resource allocation, cooperation, connection, negotiation, distributed problem solving, focus, task-sharing
11	Walter Maner	Curriculum generators: Some design problems.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Technology and man, Artificial intelligence, Theorem-proving, Logic, Problem-solving, Cognition, Curriculum development, Heuristic methods, Computer- assisted instruction
11	Gerald A. Wilson, Jack Minker	Resolution, Refinements, and Search Strategies: A Comparative Study.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	linear resolution, P1 resolution, proof procedure system, Q* algorithm, resolution inference, set of support resolution, ?* algorithm, SL resolution, theorem proving, problem solving, search strategies, Comparative analysis
11	Daniel H. Fishman	A Problem-Oriented Search Procedure for Theorem Proving.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	search procedures, Problem solving, resolution
11	Robert F. Simmons	Synthex.	Commun. ACM	1961	DBLP DOI BibTeX RDF	analysis of a natural language, cognitive machines, computer simulation of human learning and problem solving, artificial intelligence, self-organizing systems
11	Murray A. Geisler, Wilbur A. Steger	Manned simulation research in complex control systems.	Commun. ACM	1961	DBLP DOI BibTeX RDF	cost/effectiveness of complex man-machine control systems, man-machine comparisons, manned computer simulations, problem solving, human learning
11	Douglas T. Ross	Computer-aided design.	Commun. ACM	1961	DBLP DOI BibTeX RDF	efficient computation of very large complex problems, manual intervention techniques and equipment, numerical control processes, operating and debugging systems, problem formulation, information retrieval, artificial intelligence, problem solving, language design, automatic programming, symbol manipulation, techniques, compiler techniques
11	Hongyan Zhang 0005, Yu Zhou, Yu-Tao Li, Fu-Yun Li, Yong-Hui Jiang	CDIO-CT collaborative strategy for solving complex STEM problems in system modeling and simulation: An illustration of solving the period of mathematical pendulum.	Comput. Appl. Eng. Educ.	2024	DBLP DOI BibTeX RDF
11	Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm	Variational satisfiability solving: efficiently solving lots of related SAT problems.	Empir. Softw. Eng.	2023	DBLP DOI BibTeX RDF
11	Muhammad Nadeem, Ahmad F. Taha	Sorta Solving the OPF by Not Solving the OPF: DAE Control Theory and the Price of Realtime Regulation.	CoRR	2023	DBLP DOI BibTeX RDF
11	Tatiana Balbi Fraga	COPSolver: Open source software for solving combinatorial optimization and other decision problems - Library for solving the multi-product p-batch processing time maximization problem.	Softw. Impacts	2023	DBLP DOI BibTeX RDF
11	Jeffrey M. Young, Paul Maximilian Bittner, Eric Walkingshaw, Thomas Thüm	Variational Satisfiability Solving: Efficiently Solving Lots of Related SAT Problems - Summary.	Software Engineering	2023	DBLP BibTeX RDF
11	Yingting Chen, Taro Kanno, Kazuo Furuta	Cognition-oriented Facilitation and Guidelines for Collaborative Problem-solving Online and Face-to-face: An in-depth examination of format and facilitation influence on problem-solving performance.	CHI	2023	DBLP DOI BibTeX RDF
11	Yingting Chen, Taro Kanno, Kazuo Furuta	An Empirical Investigation of the Underlying Cognitive Process in Complex Problem Solving: A Proposal of Problem-Solving Discussion Performance Evaluation Methods.	Int. J. Cogn. Informatics Nat. Intell.	2022	DBLP DOI BibTeX RDF
11	Ahmed F. Abdel Jalil, Ayad R. Khudair	Toward solving fractional differential equations via solving ordinary differential equations.	Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
11	Dengfeng Ke, Yanlu Xie, Jinsong Zhang 0001, Liangjie Huang	Solving Size and Performance Dilemma by Reversible and Invertible Recurrent Network for Speech Enhancement: Solving Size and Performance Dilemma by Reversible and Invertible Recurrent Network for Speech Enhancement.	AIPR	2022	DBLP DOI BibTeX RDF
11	Anutra Phoosamrong, Charuni Samat, Pornsawan Vongtathum	Development of Web-Based Learning Environment to Promote Problem Solving on Problem Solving in Computational Science for Secondary School.	ICITL	2022	DBLP DOI BibTeX RDF
11	Mitja Kulczynski	Light On String Solving: Approaches to Efficiently and Correctly Solving String Constraints.		2022	RDF
11	Tianyi Chen, Yuejiao Sun, Wotao Yin	Solving Stochastic Compositional Optimization is Nearly as Easy as Solving Stochastic Optimization.	IEEE Trans. Signal Process.	2021	DBLP DOI BibTeX RDF
11	Tony Gorschek, Daniel Méndez 0001	Solving Problems or Enabling Problem-Solving? from Purity in Empirical Software Engineering to Effective Co-production (Invited Keynote).	SWQD	2021	DBLP DOI BibTeX RDF
11	Citra Utami, Nindy Citroresmi Prihatiningtyas, Rosmaiyadi, Nurul Husna, Rika Wahyuni, Andi Mursidi	Ability of Problem Solving and Critical Thinking of Students in Learning of Creative Problem Solving (CPS).	ICIEI	2021	DBLP DOI BibTeX RDF
11	Frédéric Lardeux, Éric Monfroy, Eduardo Rodriguez-Tello, Broderick Crawford, Ricardo Soto 0001	Solving complex problems using model transformations: from set constraint modeling to SAT instance solving.	Expert Syst. Appl.	2020	DBLP DOI BibTeX RDF
11	Tianyi Chen, Yuejiao Sun, Wotao Yin	Solving Stochastic Compositional Optimization is Nearly as Easy as Solving Stochastic Optimization.	CoRR	2020	DBLP BibTeX RDF
11	Min Hae Song, Jung Ae Park, Jooyong Park	Measuring Collaborative Problem Solving Capability in Creative Problem Solving Situation.	GROUP (Companion)	2020	DBLP DOI BibTeX RDF
11	Vladimir Nikishkin	Solving SICP: An Experience Report on Solving the World's Most Famous Programming Problem Set.	Scheme@ICFP	2020	DBLP BibTeX RDF
11	Sumalee Chaijaroen, Issara Kanjug, Charuni Samat, Piyaporn Wonganu	Outcomes of Problem-Solving Using Constructivist Learning Environment to Enhance Learners' Problem Solving.	ICITL	2020	DBLP DOI BibTeX RDF
11	Mohammad Bagherbeik, Parastoo Ashtari, Seyed Farzad Mousavi, Kouichi Kanda, Hirotaka Tamura, Ali Sheikholeslami	A Permutational Boltzmann Machine with Parallel Tempering for Solving Combinatorial Optimization Problems.	PPSN (1)	2020	DBLP DOI BibTeX RDF
11	Sehoon Cho	A Study on the Effect of Improved Collective Intelligence Combined with TRIZ Methodology for Solving Complex Technology Systems.	TFC	2020	DBLP DOI BibTeX RDF
11	Igor Zadesenets	Problem-Solving Tools as Methods for Managing the Information Content of Systems.	TFC	2020	DBLP DOI BibTeX RDF
11	Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese	Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints.	IPS-RCRA@AI*IA	2020	DBLP BibTeX RDF
11	Daniel Prusa, Tomás Werner	Solving LP Relaxations of Some NP-Hard Problems Is As Hard As Solving Any Linear Program.	SIAM J. Optim.	2019	DBLP DOI BibTeX RDF
11	Kevin Kells	A Proposed Practical Problem-Solving Framework for Multi-Stakeholder Initiatives in Socio-Ecological Systems Based on a Model of the Human Cognitive Problem-Solving Process.	CoRR	2019	DBLP BibTeX RDF
11	Manjit Singh Sidhu	Evaluation Study Outcome of Augmented Reality Technology for Solving Engineering Problems in UNITEN: Augmented Reality Technology for Solving Engineering Problems in UNITEN.	Int. J. Inf. Commun. Technol. Educ.	2019	DBLP DOI BibTeX RDF
11	Abdelhafid Chadli, Erwan Tranvouez, Fatima Bendella	Learning Word Problem Solving Process in Primary School Students: An Attempt to Combine Serious Game and Polya's Problem Solving Model.	Data Analytics Approaches in Educational Games and Gamification Systems	2019	DBLP DOI BibTeX RDF
11	Margus Pedaste, Tauno Palts, Külli Kori, Maarja Sõrmus, Äli Leijen	Complex Problem Solving as a Construct of Inquiry, Computational Thinking and Mathematical Problem Solving.	ICALT	2019	DBLP DOI BibTeX RDF
11	Anita, Anupam Yadav, Nitin Kumar	Artificial Electric Field Algorithm for Solving Real Parameter CEC 2017 Benchmark Problems.	SocProS (1)	2019	DBLP DOI BibTeX RDF
11	L. Darrell Whitley, Swetha Varadarajan, Rachel Hirsch, Anirban Mukhopadhyay 0001	Exploration and Exploitation Without Mutation: Solving the Jump Function in \varTheta (n) Time.	PPSN (2)	2018	DBLP DOI BibTeX RDF
11	G. H. Aalvanger, Ngoc Hoang Luong, Peter A. N. Bosman, Dirk Thierens	Heuristics in Permutation GOMEA for Solving the Permutation Flowshop Scheduling Problem.	PPSN (1)	2018	DBLP DOI BibTeX RDF
11	Genovefa Kefalidou	When immediate interactive feedback boosts optimization problem solving: A 'human-in-the-loop' approach for solving Capacitated Vehicle Routing Problems.	Comput. Hum. Behav.	2017	DBLP DOI BibTeX RDF
11	Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek	Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method.	IJCAI	2017	DBLP DOI BibTeX RDF
11	Günther Charwat, Stefan Woltran	Expansion-based QBF Solving on Tree Decompositions.	RCRA@AI*IA	2017	DBLP BibTeX RDF
11	Akanksha Samar, R. S. Sharma	Design of Semi-chaotic Integration-Based Particle Swarm Optimization Algorithm and Also Solving Travelling Salesman Problem Using It.	SocProS (1)	2017	DBLP DOI BibTeX RDF
11	Bruce M. McLaren, Tamara van Gog, Craig H. Ganoe, Michael Karabinos, David J. Yaron	The efficiency of worked examples compared to erroneous examples, tutored problem solving, and problem solving in computer-based learning environments.	Comput. Hum. Behav.	2016	DBLP DOI BibTeX RDF
11	Luis Miguel Antonio, Carlos A. Coello Coello	Decomposition-Based Approach for Solving Large Scale Multi-objective Problems.	PPSN	2016	DBLP DOI BibTeX RDF
11	Vanita Garg, Kusum Deep	Effectiveness of Constrained Laplacian Biogeography Based Optimization for Solving Structural Engineering Design Problems.	SocProS (2)	2016	DBLP DOI BibTeX RDF
11	Amandeep Kaur Virk, Kawaljeet Singh	Solving Multi-objective Two Dimensional Rectangle Packing Problem.	SocProS (2)	2016	DBLP DOI BibTeX RDF
11	Ife Adebara, Verónica Dahl	Grammar Induction as Automated Transformation between Constraint Solving Models of Language.	KnowProS@IJCAI	2016	DBLP BibTeX RDF
11	Yuxin Chen 0002, Emmanuel J. Candès	Solving Random Quadratic Systems of Equations Is Nearly as Easy as Solving Linear Systems.	CoRR	2015	DBLP BibTeX RDF
11	Broderick Crawford, Ricardo Soto 0001, Kathleen Crawford, Franklin Johnson, Claudio León de la Barra, Sergio Galdames	Experiential Solving: Towards a Unified Autonomous Search Constraint Solving Approach.	HCI (27)	2015	DBLP DOI BibTeX RDF
11	Yuxin Chen 0002, Emmanuel J. Candès	Solving Random Quadratic Systems of Equations Is Nearly as Easy as Solving Linear Systems.	NIPS	2015	DBLP BibTeX RDF
11	Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia	An Empirical Perspective on Ten Years of QBF Solving.	RCRA@AI*IA	2015	DBLP BibTeX RDF
11	Abhinav Anand, Aditi Kothiyal, Bipin Rajendran, Sahana Murthy	Guided Problem Solving and Group Programming: A Technology-Enhanced Teaching-Learning Strategy for Engineering Problem Solving.	T4E	2014	DBLP DOI BibTeX RDF
11	Maktuba Mohid, Julian Francis Miller, Simon L. Harding, Gunnar Tufte, Odd Rune Lykkebø, Mark K. Massey, Michael C. Petty	Evolution-In-Materio: Solving Machine Learning Classification Problems Using Materials.	PPSN	2014	DBLP DOI BibTeX RDF
11	A. J. Umbarkar, P. D. Sheth, S. V. Babar	Solving 0/1 Knapsack Problem Using Hybrid TLBO-GA Algorithm.	SocProS (1)	2014	DBLP DOI BibTeX RDF
11	Hira Zaheer, Millie Pant	A Differential Evolution Approach for Solving Integer Programming Problems.	SocProS (2)	2014	DBLP DOI BibTeX RDF
11	Akshay K. Ojha, Y. Ramu Naidu	Hybridizing Particle Swarm Optimization with Invasive Weed Optimization for Solving Nonlinear Constrained Optimization Problems.	SocProS (2)	2014	DBLP DOI BibTeX RDF
11	Animesh Biswas, Arnab Kumar De	On Solving Multiobjective Quadratic Programming Problems in a Probabilistic Fuzzy Environment.	SocProS (1)	2014	DBLP DOI BibTeX RDF
11	Do Guen Yoo, Ali Sadollah, Joong Hoon Kim, Ho Min Lee	Application of New Hybrid Harmony Search Algorithms Based on Cellular Automata Theory for Solving Magic Square Problems.	SocProS (1)	2014	DBLP DOI BibTeX RDF
11	Pooja Tripathi, Jayanthi Ranjan, Tarun Pandeya	Assessing the Soft Computing Approach for Problem Solving in the Multi Criteria Decision Making for Performance Assessment in Indian Institutions Through Case Study Approach.	SocProS (2)	2013	DBLP DOI BibTeX RDF
11	Clemens Zeidler, Christof Lutteroth, Gerald Weber	Constraint solving for beautiful user interfaces: how solving strategies support layout aesthetics.	CHINZ	2012	DBLP DOI BibTeX RDF
11	Nija Mani, Gursaran, A. K. Sinha, Ashish Mani	Taguchi-Based Tuning of Rotation Angles and Population Size in Quantum-Inspired Evolutionary Algorithm for Solving MMDP.	SocProS	2012	DBLP DOI BibTeX RDF
11	Sandhya Bansal 0001, Rajeev Kumar Goel, C. Mohan 0002	Use of Ant Colony System in Solving Vehicle Routing Problem with Time Window Constraints.	SocProS	2012	DBLP DOI BibTeX RDF
11	Bhawna Minocha, Saswati Tripathi	Solving School Bus Routing Problem Using Hybrid Genetic Algorithm: A Case Study.	SocProS	2012	DBLP DOI BibTeX RDF
11	Jing Fang Tan, Shih S. Sen Chang	A New Hybrid Algorithm for Solving a System of Generalized Mixed Equilibrium Problems, Solving a Family of Quasi-ϕ-Asymptotically Nonexpansive Mappings, and Obtaining Common Fixed Points in Banach Space.	Int. J. Math. Math. Sci.	2011	DBLP DOI BibTeX RDF
11	Jessica Davies 0001, Fahiem Bacchus	Solving MAXSAT by Solving a Sequence of Simpler SAT Instances.	CP	2011	DBLP DOI BibTeX RDF
11	Sanjeev Kumar, D. K. Chaturvedi	A Fuzzy Particle Swarm Optimization for Solving the Economic Dispatch Problem.	SocProS (1)	2011	DBLP DOI BibTeX RDF
11	Ray J. Paul, Jasna Kuljis	Problem solving, model solving, or what?	WSC	2010	DBLP DOI BibTeX RDF
11	Sven Schulz, Wolfgang Blochinger	Cooperate and compete! A hybrid solving strategy for task-parallel SAT solving on Peer-to-Peer Desktop Grids.	HPCS	2010	DBLP DOI BibTeX RDF