BACKTRACKING SEARCH
Experts
- Manuel Bodirsky
- Libor Barto
- Michael Pinsker
- Eugene C. Freuder
- Richard J. Wallace
- Stefan Szeider
- Miguel A. Salido
- Federico Barber
- Fahiem Bacchus
- Hugo Terashima-Marín
- Carlos Ansótegui
- José Carlos Ortiz-Bayliss
- Kostas Stergiou
- Rina Dechter
- Barnaby Martin
- Cèsar Fernández
- Boi Faltings
- Toby Walsh
- Peter Jonsson
- Stanislav Zivný
- Sebastian Ordyniak
- Petra Hofstedt
- Cyril Terrioux
- Tsutomu Maruyama
- Sven Löffler
- Inês Lynce
- Philippe Jégou
- Ramón Béjar
- Víctor Dalmau
- Antoine Mottet
- Ke Liu
- Carles Mateu
- Tomoyuki Yamakami
- Daniel Le Berre
- Venkatesan Guruswami
- Per Austrin
- T. K. Satish Kumar
- Caterina Viola
- Benoît Larose
Venues
- CoRR
- CP
- SAT
- AAAI
- IJCAI
- Electron. Colloquium Comput. Complex.
- SIAM J. Comput.
- Constraints An Int. J.
- ECAI
- Artif. Intell.
- ICTAI
- Appl. Soft Comput.
- Ann. Math. Artif. Intell.
- Complexity of Constraints
- Theor. Comput. Sci.
- LICS
- ICALP
- SODA
- FOCS
- J. Artif. Intell. Res.
- AAAI/IAAI
- SIAM J. Discret. Math.
- Random Struct. Algorithms
- Discret. Appl. Math.
- J. Autom. Reason.
- J. Comput. Syst. Sci.
- Inf. Process. Lett.
- Artif. Intell. Rev.
- ICALP (1)
- SOCS
- Soft Comput.
- MFCS
- J. Exp. Theor. Artif. Intell.
- Int. J. Artif. Intell. Tools
- Inf. Comput.
- IJCAI (1)
- J. Satisf. Boolean Model. Comput.
- CPAIOR
- FAW
Related Topics
Related Keywords
Popularity