Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540735793

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extensional Reasoning

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/978-3-540-73580-9_35 ◽

2007 ◽

pp. 400-401 ◽

Cited By ~ 2

Author(s):

Timothy L. Hinrichs

Download Full-text

Decomposition of Games for Efficient Reasoning

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/978-3-540-73580-9_39 ◽

2007 ◽

pp. 409-410

Author(s):

Eric Schkufza

Download Full-text

Integration of Constraint Programming and Metaheuristics

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/978-3-540-73580-9_33 ◽

2007 ◽

pp. 397-398 ◽

Cited By ~ 1

Author(s):

Broderick Crawford ◽

Carlos Castro ◽

Eric Monfroy

Keyword(s):

Constraint Programming

Download Full-text

Formalizing the Abstraction Process in Model-Based Diagnosis

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/978-3-540-73580-9_25 ◽

2007 ◽

pp. 314-328

Author(s):

Lorenza Saitta ◽

Pietro Torasso ◽

Gianluca Torta

Keyword(s):

Model Based

Download Full-text

Abstraction and Reformulation in the Generation of Constraint Models

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/978-3-540-73580-9_2 ◽

2007 ◽

pp. 2-3

Author(s):

Alan M. Frisch

Download Full-text

Reformulating Constraint Models Using Input Data

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/978-3-540-73580-9_36 ◽

2007 ◽

pp. 402-404

Author(s):

Martin Michalowski ◽

Craig A. Knoblock ◽

Berthe Y. Choueiry

Keyword(s):

Input Data

Download Full-text

An Analysis of Map-Based Abstraction and Refinement

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/978-3-540-73580-9_27 ◽

2007 ◽

pp. 344-358 ◽

Cited By ~ 8

Author(s):

Nathan Sturtevant ◽

Renee Jansen

Download Full-text

Abstraction, Emergence, and Thought

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/978-3-540-73580-9_30 ◽

2007 ◽

pp. 391-392

Author(s):

Russ Abbott

Download Full-text

A Framework for Integrating Optimization and Constraint Programming

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/978-3-540-73580-9_3 ◽

2007 ◽

pp. 4-4

Author(s):

John N. Hooker

Keyword(s):

Constraint Programming

Download Full-text

Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation ◽

10.1007/978-3-540-73580-9_15 ◽

2007 ◽

pp. 169-183 ◽

Cited By ~ 1

Author(s):

Igor Gammer ◽

Eyal Amir

Keyword(s):

Propositional Logic ◽

Efficient Conversion

Download Full-text

Lecture Notes in Computer Science - Abstraction, Reformulation, and ApproximationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Extensional Reasoning

Decomposition of Games for Efficient Reasoning

Integration of Constraint Programming and Metaheuristics

Formalizing the Abstraction Process in Model-Based Diagnosis

Abstraction and Reformulation in the Generation of Constraint Models

Reformulating Constraint Models Using Input Data

An Analysis of Map-Based Abstraction and Refinement

Abstraction, Emergence, and Thought

A Framework for Integrating Optimization and Constraint Programming

Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic

Lecture Notes in Computer Science - Abstraction, Reformulation, and Approximation
Latest Publications