Skip to content
IAntS Lab
HomeNewsPeopleAboutContact
Member access
IAntS Lab
Home
News
People
Research
Research areas
Projects
Publications
About
Contact
Member access
Research area

Satisfiability and optimisation

All areas

Publications

0
See all

No publications in this area yet

Projects

3
Active
Present

NSF: Efficient Bi- and Multi-Objective Search Algorithms

Artificial intelligence
Planning and decision making
Satisfiability and optimisation
1 member
Active
Present

Fondecyt Regular: Extending and Generalizing Real-Time and Incremental Heuristic Search

Artificial intelligence
Planning and decision making
Satisfiability and optimisation
1 member
Active
Present

New Heuristic Search Algorithms for Large and Dynamic Domains

Artificial intelligence
Planning and decision making
Satisfiability and optimisation
1 member

People

2
Photo of Carlos Bastidas

Carlos Bastidas

Scholarship

Engineers and Scholarships

Photo of Benjamin Cruz

Benjamin Cruz

Scholarship

Engineers and Scholarships

IAntS Lab

An evolving platform for scientific dissemination, applied AI and technology collaboration.

Site

  • Home
  • News
  • People
  • About
  • Contact

Research

  • Research areas
  • Projects
  • Publications

Contact

  • contacto@iantslab.cl
  • Universidad San Sebastián, Concepción, Chile

Restricted access for active lab members.

Member access
In collaboration with
  • Universidad San Sebastián
  • CENIA, Centro Nacional de Inteligencia Artificial
  • Link IA, Centro de Inteligencia Artificial USS
  • CEICF USS
© 2026 IAntS Lab · Universidad San Sebastián, Concepción, ChileIntelligent Problem Solving