Search results
From MaRDI portal
- normal logic programs to constraint logic programs 1993-01-16 Paper Projecting CLP(\({\mathcal R}\)) constraints 1993-01-01 Paper Canonical logic programs...10 bytes (18 words) - 00:40, 10 December 2023
- database 1998-08-20 Paper Disjunctive logic and semantics of disjunctive logic programs 1998-06-11 Paper A heuristic extension to Reiter's diagnostic theory...10 bytes (17 words) - 16:22, 10 December 2023
- https://portal.mardi4nfdi.de/entity/Q3455593 2015-12-11 Paper Distributed Heuristic Forward Search for Multi-agent Planning 2014-10-10 Paper Optimal ordering...10 bytes (18 words) - 19:03, 9 December 2023
- Corrigendum to: ``A heuristic and evolutionary algorithm to optimize the coefficients of curve parametrizations. 2016-08-16 Paper A heuristic and evolutionary...10 bytes (18 words) - 03:45, 10 December 2023
- de/entity/Q4943322 2000-03-16 Paper Open logic based on total-ordered partition model 1999-11-08 Paper The open logic and its relation to circumscription 1999-09-13...10 bytes (18 words) - 13:25, 11 December 2023
- 1997-02-27 Paper Utility of pathmax in partial order heuristic search 1997-02-27 Paper Multiobjective Heuristic Search in AND/OR Graphs 1996-12-11 Paper Agent...10 bytes (18 words) - 16:09, 9 December 2023
- de/entity/Q3735735 1985-01-01 Paper ω-Trees in stationary logic 1983-01-01 Paper Undecidable Theories in Stationary Logic 1982-01-01 Paper L(aa)‐Elementary Types of Well‐Orderings...10 bytes (17 words) - 23:57, 12 December 2023
- Exact Constraint Logic Programming Algorithm for the Traveling Salesman Problem with Time Windows 2002-04-17 Paper A Tabu Search Heuristic for the Vehicle...10 bytes (18 words) - 22:40, 12 December 2023
- services: MIP formulation and strengthening with logic constraints 2007-10-25 Paper An insertion heuristic for scheduling mobility allowance shuttle transit...10 bytes (18 words) - 02:56, 11 December 2023
- Analysis 1975-01-01 Paper MINI: A Heuristic Approach for Logic Minimization 1974-01-01 Paper Generating Test Examples for Heuristic Boolean Minimization 1974-01-01...10 bytes (18 words) - 13:04, 7 October 2023
- 1987-01-01 Paper A heuristic triangulation algorithm 1987-01-01 Paper A decision procedure for combinations of propositional temporal logic and other specialized...10 bytes (19 words) - 14:32, 8 December 2023
- 2010-10-15 Paper Peak power optimization based on nonlinear prediction and fuzzy logic 2007-11-05 Paper https://portal.mardi4nfdi.de/entity/Q3372048 2006-02-17...10 bytes (16 words) - 03:44, 10 December 2023
- Publication Type Progress in Artificial Intelligence 2009-08-07 Paper Heuristic-based backtracking relaxation for propositional satisfiability 2007-01-24...10 bytes (20 words) - 03:02, 13 December 2023
- Declarative local search for predicate logic 2019-10-10 Paper The impact of solution representations on heuristic net present value optimization in discrete...10 bytes (18 words) - 12:07, 9 December 2023
- Publication Date of Publication Type A linear programming based heuristic framework for min-max regret combinatorial optimization problems with interval...10 bytes (17 words) - 10:16, 11 December 2023
- Paper Toward unification of exact and heuristic optimization methods 2015-04-22 Paper Single-facility scheduling by logic-based Benders decomposition 2014-03-31...10 bytes (19 words) - 18:24, 9 December 2023
- SEARCH HEURISTIC TO SOLVE THE DIAL-A-RIDE PROBLEM 2013-05-10 Paper Capital rationing problems under uncertainty and risk 2012-06-19 Paper A heuristic approach...10 bytes (18 words) - 15:16, 10 December 2023
- dynamic combinatorial optimisation problem tackled by an evolutionary hyper-heuristic 2010-11-12 Paper C-Strategy: A Dynamic Adaptive Strategy for the CLONALG...10 bytes (18 words) - 01:57, 10 December 2023
- Recent advances in unfolding technique 2014-08-29 Paper Universal First-Order Logic is Superfluous for NL, P, NP and coNP 2014-03-24 Paper A Concise Introduction...10 bytes (17 words) - 03:51, 9 December 2023
- Generalized Insertion Heuristic for the Traveling Salesman Problem with Time Windows 2002-07-01 Paper An Exact Constraint Logic Programming Algorithm for...10 bytes (17 words) - 05:12, 9 December 2023
