Indexed

MANTHA: Agent-based Management of Hypermedia Documents

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
textscLocal++: A C++ Framework for Combinatorial Search Problems

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
textscnp-spec: An Executable Specification Language for Solving All Problems in NP

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
The textsfAlma Project, or How First-Order Logic Can Help Us in Imperative Programming

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
Search and Imperative Programming

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
Scheduling Sport Tournaments using Constraint Logic Programming

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
Tabu Search Techniques for Large High-School Timetabling Problems

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
Local Search Techniques for High School Timetabling

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite